数理逻辑 [数] Mathematical Logic ; symbolic logic ; formale Logik ; Mathematische Logik
符号逻辑（数理逻辑） symbolic logic
高级数理逻辑 Advanced Numerical Logic
现代数理逻辑 modern mathematical logic
数理逻辑基础 Fundations of Mathematical Logic ; Elements of Mathematical Logic
数理逻辑智能 Logical-Mathematical Intelligence ; Logical Intelligence
数理逻辑档案 Archive for Mathematical Logic
数理逻辑学报 Mathematical Logic Quarterly
离散数学与数理逻辑 Discrete Mathematics and Mathematical Logic
数理逻辑入门 Elementary Mathematical Logic
莱布尼茨是一个发明家的演算以及祖先的现代数理逻辑。
Leibniz was an inventor of the calculus and a forefather of modern mathematical logic.
Levoy博士和Hanrahan博士于1996发表的论文描述了一种运用数理逻辑将这一技术简化的方法，即使现成的数理计算芯片简化。尽管近15年后，这中方法仍是可行的。
Dr Levoy and Dr Hanrahan's 1996 paper described a way of simplifying this field mathematically which makes it feasible-albeit nearly 15 years later-to calculate using off-the-shelf chips.
在数理逻辑中研究的主要对象是各种演算。
In mathematical logic in the study is the main target of all kinds of calculus.
应用推荐