go top

mathematical logic

  • [数] 数理逻辑

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

  [数] 数理逻辑

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

基于4066个网页-相关网页

  数字逻辑

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

基于1168个网页-相关网页

  数学逻辑

简介数学逻辑Mathematical logic)是与数学基础,理论..

基于184个网页-相关网页

短语

Mathematical Marketing Logic 数字逻辑

mathematical logicsymbolic logic 数理逻辑

mathematical and logic model 逻辑数理型

Archive for Mathematical Logic 数理逻辑档案

Elementary Mathematical Logic 数理逻辑入门

Elements of Mathematical Logic 数理逻辑基础

Fundamentals of mathematical logic 数学逻辑基础

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 数理逻辑

同近义词

双语例句权威例句

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

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

    www.ibm.com

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

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

    article.yeeyan.org

  • 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.

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

    www.ecocn.org

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

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

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