1 . " Mr. Fang, have you ever studied mathematical logic?
“ 方先生, 你对数理逻辑用过功没有? ”
来自汉英文学 - 围城
2 . Therefore, the three basic laws are not applicable to orthodox mathematical logic.
故而, 传统形式逻辑三大基本规律在正统数理逻辑中均不能成立.
来自互联网
3 . Calculus of the mathematical logic of the grammar part.
演算的研究组成了数理逻辑的语法部分.
来自互联网
4 . Those who are " numbers and logic smart " excel at math and science.
具有 “ 数理逻辑智能 ” 的人,在数学和自然科学方面表现出有杰出的才能.
来自互联网
5 . This paper works on propositional logic system in Computer Logic.
本论文研究了计算机数理逻辑中的命题演算部分内容.
来自互联网
1.mathematical logic
1.mathematical logic
2. 又称 :数理逻辑(symbolic logic)
数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。
