The educational circle of our country is usually considered as "mathematical inference" which refers to the highly formalized and abstract deductive inference.
我国教育界常常认为“数学推理”主要是指高度形式化的、抽象化的演绎推理。
Derivations: Derivations describe how information in one form may be transformed into information in another form through an inference or mathematical calculation.
派生：派生(Derivations)描述如何通过推理或数学计算将一种形式的信息转换成另一种形式的信息。
It discusses carefully the basic concepts and inference rule of the resolution principle. According to the discussion, resolution method is used to prove a mathematical theorem through a example.
对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。
Deductive inference and non - deductive inference are often used in mathematical proof.
演绎推理和非演绎推理经常被运用到数学证明中。
At the same time implemented machine proof of some mathematical theorems (Group theory) and logical Inference of statements.
与此同时，实现了一些数学(群论)定理的机器证明，命题的逻辑推演等。
Therefore, intelligence inference should not be based upon the orthodox mathematical logic.
因此，情报推理不能以正统数理逻辑作为推理工具。
Deductive inference and non-deductive inference are often used in mathematical proof.
演绎推理和非演绎推理经常被运用到数学证明中。
By use of inference of mathematical method, the accurate pass parameters are obtained.
运用数学方法推导得到精确的孔型参数。
By use of inference of mathematical method, the accurate pass parameters are obtained.
运用数学方法推导得到精确的孔型参数。
应用推荐