中英▼
go top

mathematical 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

    同义词： symbolic logic formal logic

以上来源于: WordNet

 柯林斯英汉双解大词典 

mathematical logic

  • 1. 

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

同近义词

双语例句权威例句

  • Mathematical logic can produce some great trivia.

    数学逻辑能够推理一些极其细微的现象。

    youdao

  • In mathematical logic in the study is the main target of all kinds of calculus.

    在数理逻辑中研究的主要对象是各种演算。

    youdao

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

    我学到的是已经被数学推理和实际经验所证明的公式。

    youdao

更多双语例句

  • 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
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定