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.
对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。
应用推荐