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. 经典命题演算能行方法的给出,可以进一步发展数理逻辑的知识体系。
