mathematical logic

美 
英 
  • na.(= symbolic logic)数理逻辑
  • 网络数字逻辑；数学逻辑；数理逻辑学

英汉

网络释义

na.
1.
数理逻辑(= symbolic logic)
2.
数理逻辑

例句

释义:
全部全部,数字逻辑数字逻辑,数学逻辑数学逻辑,数理逻辑学数理逻辑学
类别:全部全部,口语口语,书面语书面语,标题标题,技术技术
来源:全部全部,字典字典,网络网络
难度:全部全部,简单简单,中等中等,难难
1.
Mathematical logic is an important component part of dispersed mathematics and a base of learning dispersed mathematics well.
数理逻辑是离散数学的重要组成部分，是学好离散数学的基础。
dictsearch.appspot.com
2.
By means of the language of mathematical logic the invariance of Hamilton principle under canonical transformation is expressed and proved.
用数理逻辑的语言表述了哈密顿原理及其在正则变换下的不变性，并给以证明。
www.dictall.com
3.
Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.
谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。
www.showxiu.com
4.
I'm smart but no genius and it was hard work for me to get through the more abstruse reaches of mathematical logic and epistemology.
我聪明但不是天才，而我也投入了大量的经历来学习深奥的数学逻辑和知识论。
275008742.xyz
5.
Fuzzy logic theory overlaps with the above methods and with the probability, mathematical logic, and measure theory.
模糊理论可包含上述方法，如或然率，数学逻辑，测度理论。
www.docin.com
6.
Watzlawick et al. selected two theories from the field of mathematical logic on which to base their beliefs about change.
罗瓦兹拉威克等人选择了两个来自于数学逻辑领域的理论来作为他们对于变革的信念的根基。
article.yeeyan.org
7.
I learn the formulas that have been proved by mathematical logic and empirical evidence.
我学到的是已经被数学推理和实际经验所证明的公式。
www.ibm.com
8.
Indeed, he has come to it by way of Aeronautical Engineering and Mathematical Logic.
实际上，他从事哲学的方式跟对待航空科学和数理逻辑没什么两样。
article.yeeyan.org
9.
Mathematical logic and computer science has a very close relationship. Also, the computational theory is based on mathematical logic.
数理逻辑和计算机科学有着十分密切的关系，数理逻辑是计算理论的基础。
blog.sina.com.cn
10.
The problem couldn't even have been seriously tackled without the benefit of modern advances in mathematical logic.
如果不是受惠于数理逻辑的最新进展，这个问题根本就无法予以严肃的对待。
blog.sina.com.cn