mathematical logic
数理逻辑：一种研究数学和逻辑之间关系的学科
常用释义
英式发音
美式发音
基本释义
- 数理逻辑：一种研究数学和逻辑之间关系的学科，主要关注形式系统、证明理论、模型论和递归论等领域。
例句
-
1·Mathematical logic can produce some great trivia.数学逻辑能够推理一些极其细微的现象。
-
2·A. Study mathematics, especially mathematical logic.数学，特别是数学逻辑。
-
3·I don't understand the complicated mathematical logic calculation.我不明白这复杂的数理逻辑运算。
-
4·Mathematical logic is one of the difficulties of "Discrete Mathematics".数理逻辑是《离散数学》的难点之一。
-
5·In mathematical logic in the study is the main target of all kinds of calculus.在数理逻辑中研究的主要对象是各种演算。
-
6·I learn the formulas that have been proved by mathematical logic and empirical evidence.我学到的是已经被数学推理和实际经验所证明的公式。
-
7·Leibniz was an inventor of the calculus and a forefather of modern mathematical logic.莱布尼茨是一个发明家的演算以及祖先的现代数理逻辑。
-
8·Therefore, intelligence inference should not be based upon the orthodox mathematical logic.因此，情报推理不能以正统数理逻辑作为推理工具。
-
9·Principles of Mathematical Logic represents one of Hilbert's important contributions to that debate.数学逻辑原则代表了该次辩论的希尔伯特的重要贡献之一。
-
10·I am allowed to use plain English because everybody knows that I could use mathematical logic if I chose.因为每个人都知道如果我想我可以使用数学逻辑，所以允许我使用简明易懂的英文。
同义词