在离散数学和基础课程中引入时态逻辑令一些工具能处理并行。
Introducing temporal logic in discrete mathematics and foundations courses offers some tools to reason about concurrency.
逻辑语言将逻辑用作其数学基础。
伯特纳德·罗素用它提出了著名的“理发师悖论”，对整个数学的逻辑基础提出了质疑；
The famous paradox named as "barber paradox" proposed by Bertnard Rullsell questions to the entire foundation of math logics.
数学归纳法推理是典型的三段论，而不是完全归纳法，其基础是自然数列的性质，而不是逻辑公理。
Mathematic induction is a typical syllogism, it is not complete induction, its base is the property of natural sequence, but not logic axioms.
量子力学是一套构造物理学理论的规则，而量子逻辑是量子力学存在的数学基础。
It is well-known that quantum mechanics is a set of rules to construct physical theories, and quantum logics is its mathematical foundation.
中介系统是以中介原则为基础，以中介逻辑演算为工具的一种新的数学理论系统。
The medium system is a new mathematical theoretical system, in which the medium principle is used as base and the medium logic calculus as a means.
然而，即使在处理抽象的数量概念的数学基础研究中，也不能达到最终逻辑证明的确定性。
However, we cannot reach the destination of certainty of logical justification ever in the foundational mathematical researches concerning the abstract digital concepts.
还是全部?在逻辑的基础上，运用假设和集合论是研究哲学的一种方法，正如数学是建立在假设和逻辑之上的一样。
On the logical foundation, the application of assumption and set theory is a kind of method to study the philosophy, just like mathematics which is based on assumption and logic.
在分析宝钢烧结配矿方案、工艺参数以及产质量指标三者相互关系的基础上，提出了两种优化烧结工艺参数的数学逻辑模型。
Two kinds of optimization logic model of sintering process are put forward after analyzing the relation of mix ore scheme, process parameters and product quality index of Baoshan iron plant.
对数学归纳法逻辑基础即原理的准确理解，是教师进行数学归纳法教学的前提，也是学生能否掌握这种证明方法的关键。
On the logical basis that the principle of mathematical induction accurate understanding of the teachers teaching mathematical induction premise is that students can grasp the key method.
模糊推理是蓬勃发展中的模糊控制技术的数学核心，二型模糊集的模糊推理是研究二型模糊逻辑系统的基础。
Fuzzy reasoning is the mathematical kernel of the flourish development of fuzzy control technology, type-2 fuzzy sets are the research foundation of the type-2 fuzzy logic system.
使用逻辑符号来定义与厘清基础数学概念，例如集合、关系式、函数和整数。
Use logical notation to define and reason about fundamental mathematical concepts such as sets, relations, functions, and integers.
他认为，数学的基础应是逻辑，从而提出他的数学逻辑主义论题：数学与逻辑等同，全部数学可以化归为逻辑。
In Russells opinion, logic should be the foundation of mathematics. Then he put forward his topic that mathematics is the same as logic and it can be deoxidized to logic.
本文从弗雷格时代逻辑学中的心理主义思想开始，论述了弗雷格为了实现把数学建立在逻辑学基础之上的目标，主要所做的三步工作。
This paper begins with the psychologism in logical area in Frege's time, and states the three steps of Frege's working for his target that building mathematics on logical foundation.
本文从弗雷格时代逻辑学中的心理主义思想开始，论述了弗雷格为了实现把数学建立在逻辑学基础之上的目标，主要所做的三步工作。
This paper begins with the psychologism in logical area in Frege's time, and states the three steps of Frege's working for his target that building mathematics on logical foundation.
应用推荐