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

单词	semantics of formal systems
释义	semantics of formal systems 形式系统的语义学
随便看	4-momentum 4-momentum operator 4-perfect number 4-vector 59 test 5-cell 600-cell 65537-gon 6-perfect number 6-sphere coordinates 6-vector 72 rule 7 bridges problem of the Konigsberg 8-cell 8-perfect number AAA theorem a-adic completion a-adic topology A-algebra A-algorithm AAS theorem abac abacist abacus abacus school

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