数理逻辑

数理逻辑

/ shù lǐ luó ji /

简明
新汉英
现代汉语

1
mathematical logic
数理逻辑：一种研究数学和逻辑之间关系的学科，主要关注形式系统、证明理论、模型论和递归论等领域。

网络释义
专业释义

1
[数] Mathematical Logic
数理逻辑(Mathematical Logic)是一门边缘性学科,它是用形式化方法研究推理中前提与结论之间的形式关系的科学,也就是用专门的符号和数学方法来处理、研究演绎方...
2
symbolic logic
证明集合相等探究-毕业论文参考网关键词:集合; 数理逻辑; 谓词; 特征函数 [gap=940]Key words: set; symbolic logic; peridication ; eigenfunction
3
formale Logik
... 时间逻辑 Temporale Logik 数理逻辑 Mathematische Logik; formale Logik 算术逻辑部件 ALU ...
4
Mathematische Logik
... 时间逻辑 Temporale Logik 数理逻辑 Mathematische Logik; formale Logik 算术逻辑部件 ALU ...

短语

1
符号逻辑（数理逻辑）
symbolic logic
2
高级数理逻辑
Advanced Numerical Logic
3
现代数理逻辑
modern mathematical logic

查看更多

双语例句

1
方法非经典数理逻辑的语义理论。
Methods Based on the semantic theory of nonclassical logic.
2
数理逻辑是《离散数学》的难点之一。
Mathematical logic is one of the difficulties of "Discrete Mathematics".
3
在数理逻辑中研究的主要对象是各种演算。
In mathematical logic in the study is the main target of all kinds of calculus.

查看更多

百科

数理逻辑
“数理逻辑”是个多义词，它可以指数理逻辑（用数学方法研究逻辑或形式逻辑的学科）, 数理逻辑（恩德滕著图书）。

点击反馈