“equivalence of formal systems”的概念、定义、习题解题方法及翻译-数学辞典

单词	equivalence of formal systems
释义	equivalence of formal systems 形式系统的等价
随便看	biweight (= biweight function) bi-【前缀】 Bjerknes, C.A. Bjerknes, V.F.K. Bj⍥rling curve Bj⍥rling, E.G. Bj⍥rling problem black-and-white group blackboard bold black-box representation black-dot illusion black hole Black, M. Blackman function Black model Blackwell, D.H. Blackwell-Rao theorem Blackwell theorem Blaeu, W.J. Blakers, A.L. Blakers-Massey theorem BL-algebra blancmange function blank Blaschke condition

数学辞典收录了72750条数学词条，基本涵盖了常用数学知识及数学英语单词词组的翻译及用法，是数学学习的有利工具。