单词 | Symbolic Logic |
释义 | Symbolic LogicThe study of the meaning and relationships of statements used to represent precise mathematical ideas. Symbolic logic is alsocalled Formal Logic. See also Formal Logic, Logic, Metamathematics
Carnap, R. Introduction to Symbolic Logic and Its Applications. New York: Dover, 1958. |
随便看 |
|
数学辞典收录了8975条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。