Mathematical logic

数理逻辑:一种研究数学和逻辑之间关系的学科

常用释义

词性释义

数理逻辑:一种研究数学和逻辑之间关系的学科,主要关注形式系统、证明理论、模型论和递归论等领域。
例句
  • 全部
网络释义

数理逻辑

普通英汉小词典_翻译家(Fanyijia.com) ... yacht □ 艇 数理逻辑 mathematical logic 模型论 model theory ...

数字逻辑

大学课程英文翻译 ... 电学实验 Electrical Experiment 数字逻辑 Mathematical Logic 普通物理 General Physics ...

数学逻辑

数学逻辑Mathematical logic)是与数学基础,理论计算科学和哲学逻辑密切联系的一个数学分支。其研究对象包括逻辑的数 …

数理逻辑学

...」,尽管它完成於二十世纪上半叶的1931年,但却是数理逻辑学mathematical logic)与数学基础(foundations of mathema…

数理逻辑课

荫麟因修数理逻辑课mathematical logic)的关系,就到伯克利来,借读了差不多有一年的时间。他来了之后,住进了我们的 …
同义词
[数]数理逻辑
更新时间:2025-04-26 11:14