Mathematical Logic [数] 数理逻辑 ; 数字逻辑 ; 数学逻辑
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 数理逻辑在亚洲
I learn the formulas that have been proved by mathematical logic and empirical evidence.
我学到的是已经被数学推理和实际经验所证明的公式。
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.
巴斯先生用来实现这一转化过程的工具是线性时序逻辑，一种可以表达过去和未来的详细约束的数理逻辑系统。
Watzlawick et al. selected two theories from the field of mathematical logic on which to base their beliefs about change.
罗瓦兹拉威克等人选择了两个来自于数学逻辑领域的理论来作为他们对于变革的信念的根基。
应用推荐