Mathematical logic can produce some great trivia.
数学逻辑能够推理一些极其细微的现象。
A. Study mathematics, especially mathematical logic.
数学，特别是数学逻辑。
I don't understand the complicated mathematical logic calculation.
我不明白这复杂的数理逻辑运算。
Mathematical logic is one of the difficulties of "Discrete Mathematics".
数理逻辑是《离散数学》的难点之一。
In mathematical logic in the study is the main target of all kinds of calculus.
在数理逻辑中研究的主要对象是各种演算。
I learn the formulas that have been proved by mathematical logic and empirical evidence.
我学到的是已经被数学推理和实际经验所证明的公式。
Leibniz was an inventor of the calculus and a forefather of modern mathematical logic.
莱布尼茨是一个发明家的演算以及祖先的现代数理逻辑。
Therefore, intelligence inference should not be based upon the orthodox mathematical logic.
因此，情报推理不能以正统数理逻辑作为推理工具。
Principles of Mathematical Logic represents one of Hilbert's important contributions to that debate.
数学逻辑原则代表了该次辩论的希尔伯特的重要贡献之一。
I am allowed to use plain English because everybody knows that I could use mathematical logic if I chose.
因为每个人都知道如果我想我可以使用数学逻辑，所以允许我使用简明易懂的英文。
Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.
谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。
Watzlawick et al. selected two theories from the field of mathematical logic on which to base their beliefs about change.
罗瓦兹拉威克等人选择了两个来自于数学逻辑领域的理论来作为他们对于变革的信念的根基。
Fuzzy logic theory overlaps with the above methods and with the probability, mathematical logic, and measure theory.
模糊理论可包含上述方法，如或然率，数学逻辑，测度理论。
And the grammar study calculus at the same time, there are mathematical logic in the form of the semantic language study.
与演算的语法研究的同时，还有数理逻辑的形式语言的语义研究。
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.
我聪明但不是天才，而我也投入了大量的经历来学习深奥的数学逻辑和知识论。
Mathematical logic and computer science has a very close relationship. Also, the computational theory is based on mathematical logic.
数理逻辑和计算机科学有着十分密切的关系，数理逻辑是计算理论的基础。
It also set up the research groups on functional analysis and mathematical logic to intensify the theoretical study of relevant subjects.
同时设立了泛函分析、数理逻辑等研究组，以加强相应理论学科的研究。
How to make classical mathematical logic more flexible to contain various uncertainties and evolution is a new challenge that logics faces.
如何使经典数理逻辑柔性化，以包容各种不确定性和演化，是逻辑学研究面临的新挑战。
Due to the rationale of Von Neumann computer are based on mathematical logic, it did a wonderful job when dealing with mathematics problem.
由于冯。诺依曼式计算机的理论基础是数理逻辑，现今的计算机处理数理问题无比成功。
Aristotle was the founder of traditional logic, and G-Frege, a famous mathematician of German, was the founder of modern mathematical logic.
亚里士多德是传统逻辑的创始人。弗雷格，德国著名的数学家，逻辑学家，是现代数理逻辑的创始人。
The implication of the mathematical logic is not the scientific abstract of sufficient conditional relation, thus an implication paradox appears.
数理逻辑中的实质蕴涵不是充分条件关系的科学抽象，从而产生蕴涵怪论。
Mathematical logic is to study the logic of reasoning, using mathematical symbols of the reasoning given way to establish rules of reasoning system.
数理逻辑是研究推理逻辑的，采用数学符号化的方法给出推理规则来建立推理体系。
Analyzed from strict mathematical logic, it is hard for us to understand and it hinders the accurate expression in mathematical calculating language.
如从严密的数学语言来分析，倍数缩减式很难理解，妨碍数字计算语言的准确表达。
Chapter Four: a generalization about three principles of mathematical logic in Satie's piano works Golden Section, Fibonacci Sequence, and Lucas Sequence.
第四章：概括萨蒂钢琴作品中的三种数理逻辑原则——黄金分割、斐波那契数列、卢卡斯数列。
The Linguistic sign possesses the feature of Pluralism. This feature can be described in the form of unification which has been employed in mathematical logic.
语言符号具有多元性，可以采用数理逻辑的“合一”方法来描述这一特性。
Mathematical logic is an extension of symbolic logic into other areas, in particular to the study of model theory, proof theory, set theory, and recursion theory.
数理逻辑的延伸符号逻辑到其他领域，特别是研究模型理论，证据理论，集理论，并递归理论。
Such as sports dance room, gymnastics room, chess room, taekwondo hall, martial arts, indoor swimming pool, multi-media teaching rooms, and mathematical logic rooms.
如体育舞蹈室、体操室、围棋室、跆拳道馆、武术馆、室内游泳馆、多媒体教学室、数理逻辑室等。
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.
巴斯先生用来实现这一转化过程的工具是线性时序逻辑，一种可以表达过去和未来的详细约束的数理逻辑系统。
Mathematical logic, also known as symbolic logic, was developed when people finally realized that the tools of mathematics can be used to study the structure of logic itself.
数理逻辑，也称为符号逻辑，是当人们终于认识到，数学的工具可以用来研究的结构，逻辑本身。
In the course of mathematical logic teaching, we can improve the students' ability of logic thinking by well - chosen examples, and train their ability to analyse and solve problems.
在数理逻辑教学中，通过适当的例题选择，可以加强学生逻辑思维能力的训练，培养他们分析问题和解决问题的能力。
应用推荐