中英▼
go top

mathematical logic

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

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

  [数] 数理逻辑

数理逻辑(Mathematical Logic)是一门边缘性学科,它是用形式化方法研究推理中前提与结论之间的形式关系的科学,也就是用专门的符号和数学方法来处理、研究演绎方...

基于4069个网页-相关网页

  数学逻辑

简介数学逻辑（Mathematical logic）是与数学基础，理论..

基于184个网页-相关网页

短语

modern mathematical logic 现代数理逻辑

Mathematical Logic Quarterly 数理逻辑学报

Archive for Mathematical Logic 数理逻辑档案

Discrete Mathematics and Mathematical Logic 离散数学与数理逻辑

Elementary Mathematical Logic 数理逻辑入门

applied mathematical logic [数] 应用数理逻辑

Fundamentals of mathematical logic 数学逻辑基础

Mathematical logic in asia 数理逻辑在亚洲

Mathematical logic and foundations 数理逻辑与基础

 更多收起网络短语
  • 数理逻辑 - 引用次数：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
- 来自原声例句
小调查
请问您想要如何调整此模块？

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

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