巴斯先生用来实现这一转化过程的工具是线性时序逻辑，一种可以表达过去和未来的详细约束的数理逻辑系统。
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.
莱布尼茨是一个发明家的演算以及祖先的现代数理逻辑。
Leibniz was an inventor of the calculus and a forefather of modern mathematical logic.
这是因为“蓍”不仅反映了古人对生命的崇拜意识，更重要的是，它使《易》学思想建立在一个严密的数理逻辑系统之上。
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.
数理逻辑学家宣称，“完美十字”的排列不仅象征着日历中百年一遇的巧合，也是“再生的强大时刻”。
Numerologists are saying that the row of "perfect tens" symbolizes not just a once in a 100 years quirk of the calendar, but a "powerful moment of rebirth".
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.
谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。
Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.
因此，情报推理不能以正统数理逻辑作为推理工具。
Therefore, intelligence inference should not be based upon the orthodox mathematical logic.
数理逻辑是《离散数学》的难点之一。
Mathematical logic is one of the difficulties of "Discrete Mathematics".
数理逻辑中的实质蕴涵不是充分条件关系的科学抽象，从而产生蕴涵怪论。
The implication of the mathematical logic is not the scientific abstract of sufficient conditional relation, thus an implication paradox appears.
我不明白这复杂的数理逻辑运算。
I don't understand the complicated mathematical logic calculation.
第四章：概括萨蒂钢琴作品中的三种数理逻辑原则——黄金分割、斐波那契数列、卢卡斯数列。
Chapter Four: a generalization about three principles of mathematical logic in Satie's piano works Golden Section, Fibonacci Sequence, and Lucas Sequence.
由于冯。诺依曼式计算机的理论基础是数理逻辑，现今的计算机处理数理问题无比成功。
Due to the rationale of Von Neumann computer are based on mathematical logic, it did a wonderful job when dealing with mathematics problem.
与演算的语法研究的同时，还有数理逻辑的形式语言的语义研究。
And the grammar study calculus at the same time, there are mathematical logic in the form of the semantic language study.
经典的金融学是构建在严谨的数理逻辑推理前提之上。
The Classical Finance is on the basic of the precise math discursion and the logical discursion.
本文针对这个问题，从数理逻辑的角度出发，建立了一个形式化模型。
In the paper, we study these problems memtioned above by symbolic logic, and propose a formal model of RBAC.
如何使经典数理逻辑柔性化，以包容各种不确定性和演化，是逻辑学研究面临的新挑战。
How to make classical mathematical logic more flexible to contain various uncertainties and evolution is a new challenge that logics faces.
同时设立了泛函分析、数理逻辑等研究组，以加强相应理论学科的研究。
It also set up the research groups on functional analysis and mathematical logic to intensify the theoretical study of relevant subjects.
在数理逻辑教学中，通过适当的例题选择，可以加强学生逻辑思维能力的训练，培养他们分析问题和解决问题的能力。
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.
具有“数理逻辑智能”的人，在数学和自然科学方面表现出有杰出的才能。
Those who are" numbers and logic smart" excel at math and science.
如体育舞蹈室、体操室、围棋室、跆拳道馆、武术馆、室内游泳馆、多媒体教学室、数理逻辑室等。
Such as sports dance room, gymnastics room, chess room, taekwondo hall, martial arts, indoor swimming pool, multi-media teaching rooms, and mathematical logic rooms.
数理逻辑，也称为符号逻辑，是当人们终于认识到，数学的工具可以用来研究的结构，逻辑本身。
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.
方法非经典数理逻辑的语义理论。
但是，由于突变理论有着高深的数理逻辑结构和推演规则，其应用却未在方案优选中得到应有的推广。
However, because of the abstruse symbolic logic and complex formula catastrophe theory is seldom used for the research of bridge construction project optimization.
作为模态逻辑的继承，与数理逻辑的又一外延，时态逻辑断言推理则有效地解决这方面出现的难题。
As is inherited from modal logic and another extension of mathematic logic, temporal logic assertion inference can solve such problems.
数理逻辑是研究推理逻辑的，采用数学符号化的方法给出推理规则来建立推理体系。
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 and computer science has a very close relationship. Also, the computational theory is based on mathematical logic.
定理机器证明的研究已有将近50年的历史，并已经在数理逻辑、初等代数和几何学等学科取得显著成功。
There has been a lot of success in the study of automated theorem proving during the past 50 years.
亚里士多德是传统逻辑的创始人。弗雷格，德国著名的数学家，逻辑学家，是现代数理逻辑的创始人。
Aristotle was the founder of traditional logic, and G-Frege, a famous mathematician of German, was the founder of modern mathematical logic.
亚里士多德是传统逻辑的创始人。弗雷格，德国著名的数学家，逻辑学家，是现代数理逻辑的创始人。
Aristotle was the founder of traditional logic, and G-Frege, a famous mathematician of German, was the founder of modern mathematical logic.
应用推荐