mathematical logic

基本解释

• [数] 数理逻辑

同根派生

英汉例句

双语例句

• 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

词组短语

短语

• Mathematical Marketing Logic 数字逻辑
• mathematical logicsymbolic logic 数理逻辑
• mathematical and logic model 逻辑数理型
• Archive for Mathematical Logic 数理逻辑档案
• Elementary Mathematical Logic 数理逻辑入门

英英字典

柯林斯英英字典

• symbolic logic, esp that branch concerned with the foundations of mathematics

专业释义

数学

• 数理逻辑

  Consequently, the approach to the classical calculus of propositions fairly benefits the knowledge system of mathematical logic.
  经典命题演算能行方法的给出,可以进一步发展数理逻辑的知识体系。

• 数学逻辑
• 数字逻辑

电子、通信与自动控制技术

• 数理逻辑

计算机科学技术

• 数学逻辑

哲学

• 数理逻辑