再论及古希腊数学传统：演绎证明与科学精神。最后阐述东西方不同的文化传统对数学教育有不同的影响。
And then it deals with the ancient Greece 's traditional math: emphasis on both proof and scientific spirit.
本文利用演绎定理的证明思路给出了一个由演绎证明构造公理证明的一般程序，并增加了一条简化命令，使该程序既严格又具有实际可操作性。
The article USES the proving of deduction theorem to give general program of construction theorem proving, and adding a piece of simplification command. The program is gotten strict and exercisable.
它的真实性是被证明归纳而成的，而不是靠推理演绎得来。
所有演绎的戏剧都是要证明那个大能的存在，神的能力。
All the drama is played to prove the existence of that great power, the power of God.
演绎推理和非演绎推理经常被运用到数学证明中。
Deductive inference and non - deductive inference are often used in mathematical proof.
演绎推理和非演绎推理经常被运用到数学证明中。
Deductive inference and non-deductive inference are often used in mathematical proof.
在几何定理机器证明方法中，常用的有几何代数方法、演绎数据库方法和例证法等方法。
Methods, including geometric algebraic method, deductive database method and paradigmatic prove method have been widely applied in the geometric theorem prove field.
本文中提出一个用于程序综合的构造证明系统，规范演绎。
In this paper, a new constructive proving system, Specification Deduction, is presented.
采用演绎推理的分析方法，讨论了带限制结盟的单调集对策的边缘值，该值是对经典集对策边缘值的一种推广，证明了带限制结盟单调集对策边缘值的一些性质。
In this paper the method of syllogism is used to discuss the marginalistic value for monotonic set games with restricted coalitions, which is the extension of the classical one and is also proved.
通常，几何定理的证明是依据公理系统，按一定的逻辑规则演绎地进行。
Generally, the proving of geometry theorem is based on the axiom system, and is deducted according to certain logic rules.
应用数学演绎推理法证明了这种基准使位置误差偏移值最小，又符合实际装配工作条件，比较理想。
Mathematical derivation proves that the reference makes the offset of position error more small, and accords with the running condition of practical fixation, which is more ideal.
应用数学演绎推理法证明了这种基准使位置误差偏移值最小，又符合实际装配工作条件，比较理想。
Mathematical derivation proves that the reference makes the offset of position error more small, and accords with the running condition of practical fixation, which is more ideal.
应用推荐