go top

## mathematical logic

• [数] 数理逻辑

### 网络释义专业释义英英释义

[数] 数理逻辑

数字逻辑

... First-order logic一阶谓词演算或一阶逻辑 Mathematical Logic数字逻辑 combinational logic组合逻辑 ...

数学逻辑

更多收起网络短语
• 数理逻辑 - 引用次数：31

Consequently, the approach to the classical calculus of propositions fairly benefits the knowledge system of mathematical logic.

经典命题演算能行方法的给出,可以进一步发展数理逻辑的知识体系。

参考来源 - 经典命题演算的能行方法研究
数学逻辑
数字逻辑
• 数理逻辑
• 数学逻辑
• 数理逻辑

·2,447,543篇论文数据，部分数据来源于NoteExpress

#### mathematical logic

• n. any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity

### 柯林斯英汉双解大词典

#### mathematical logic

• 1.

N symbolic logic, esp that branch concerned with the foundations of mathematics 数理逻辑

• [数]数理逻辑

### 双语例句权威例句

• I learn the formulas that have been proved by mathematical logic and empirical evidence.

学到已经数学推理实际经验所证明公式

• Watzlawick et al. selected two theories from the field of mathematical logic on which to base their beliefs about change.

拉威克等人选择了两个来自数学逻辑领域理论作为他们对于变革信念根基。

• The tool Mr Barth is employing to effect this transition is linear temporal logic, a system of mathematical logic that can express detailed constraints on the past and the future.

巴斯先生用来实现一转化过程工具线性时序逻辑可以表达过去未来详细约束数理逻辑系统

• Those were all people who loved electricity and electronics and machines and mathematical logic.

FORBES: Steve Jobs' One Big Idea

• Although Mr Quine has no important theorem to his name he wrote on mathematical logic with ingenuity and wit.

ECONOMIST: Willard Quine

• Willard Quine's early work was in the field of mathematical logic and set theory, the subject of half a dozen of his 23 books.

ECONOMIST: Willard Quine

\$firstVoiceSent
- 来自原声例句