数理逻辑
普通英汉小词典_翻译家(Fanyijia.com) ... yacht □ 艇 数理逻辑 mathematical logic 模型论 model theory ...
数字逻辑
大学课程英文翻译 ... 电学实验 Electrical Experiment 数字逻辑 Mathematical Logic 普通物理 General Physics ...
数学逻辑
数学逻辑(Mathematical logic)是与数学基础,理论计算科学和哲学逻辑密切联系的一个数学分支。其研究对象包括逻辑的数 …
数理逻辑学
...」,尽管它完成於二十世纪上半叶的1931年,但却是数理逻辑学(mathematical logic)与数学基础(foundations of mathema…
数理逻辑课
荫麟因修数理逻辑课(mathematical logic)的关系,就到伯克利来,借读了差不多有一年的时间。他来了之后,住进了我们的 …