I learn the formulas that have been proved by mathematical logic and empirical evidence.
我学到的是已经被数学推理和实际经验所证明的公式。
Watzlawick et al. selected two theories from the field of mathematical logic on which to base their beliefs about change.
罗瓦兹拉威克等人选择了两个来自于数学逻辑领域的理论来作为他们对于变革的信念的根基。
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.
巴斯先生用来实现这一转化过程的工具是线性时序逻辑，一种可以表达过去和未来的详细约束的数理逻辑系统。
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.
如何使经典数理逻辑柔性化，以包容各种不确定性和演化，是逻辑学研究面临的新挑战。
A. Study mathematics, especially mathematical logic.
数学，特别是数学逻辑。
I don't understand the complicated mathematical logic calculation.
我不明白这复杂的数理逻辑运算。
Therefore, intelligence inference should not be based upon the orthodox mathematical logic.
因此，情报推理不能以正统数理逻辑作为推理工具。
I am allowed to use plain English because everybody knows that I could use mathematical logic if I chose.
因为每个人都知道如果我想我可以使用数学逻辑，所以允许我使用简明易懂的英文。
Mathematical logic and computer science has a very close relationship. Also, the computational theory is based on mathematical logic.
数理逻辑和计算机科学有着十分密切的关系，数理逻辑是计算理论的基础。
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.
数理逻辑中的实质蕴涵不是充分条件关系的科学抽象，从而产生蕴涵怪论。
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.
语言符号具有多元性，可以采用数理逻辑的“合一”方法来描述这一特性。
Such as sports dance room, gymnastics room, chess room, taekwondo hall, martial arts, indoor swimming pool, multi-media teaching rooms, and mathematical logic rooms.
如体育舞蹈室、体操室、围棋室、跆拳道馆、武术馆、室内游泳馆、多媒体教学室、数理逻辑室等。
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.
在数理逻辑教学中，通过适当的例题选择，可以加强学生逻辑思维能力的训练，培养他们分析问题和解决问题的能力。
This is because Shi not only reflects ancient people's worshiping consciousness toward life, and more important is, Shi makes Yi thoughts based on the precise system of mathematical logic.
这是因为“蓍”不仅反映了古人对生命的崇拜意识，更重要的是，它使《易》学思想建立在一个严密的数理逻辑系统之上。
Mathematical logic is one of the difficulties of "Discrete Mathematics".
数理逻辑是《离散数学》的难点之一。
Mathematical logic is to study the logic of reasoning, using mathematical symbols of the reasoning given way to establish rules of reasoning system.
数理逻辑是研究推理逻辑的，采用数学符号化的方法给出推理规则来建立推理体系。
Mathematical logic is to study the logic of reasoning, using mathematical symbols of the reasoning given way to establish rules of reasoning system.
数理逻辑是研究推理逻辑的，采用数学符号化的方法给出推理规则来建立推理体系。
应用推荐