中英▼
go top

mathematical logic

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

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

  [数] 数理逻辑

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

基于4069个网页-相关网页

  数字逻辑

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

基于1168个网页-相关网页

  数学逻辑

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

基于184个网页-相关网页

短语

modern mathematical logic 现代数理逻辑

Fundations of 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 数理逻辑在亚洲

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

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

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