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.
本文利用演绎定理的证明思路给出了一个由演绎证明构造公理证明的一般程序，并增加了一条简化命令，使该程序既严格又具有实际可操作性。
In this paper a method of proving the correctness of a computer program based on a transformation relation of the loop body is presented.
本文提出了利用循环体转换关系式的程序证明方法。
This paper clarifies the significance of proving the correction of the program and its connotation, presents the thought about proving, and illustrates the method and the steps.
本文阐明了程序正确性证明的重要意义与其内涵，给出了程序的正确性证明的构思。并通过一个具体实例说明了程序的正确性证明的方法和步骤。
A pioneering initiative to make the 2006 FIFA World Cup not only entertaining but environmentally-friendly is proving a winner, the United Nations environment Program (UNEP) announced on Monday.
周一联合国环境规划署表示，一项为保证2006年世界杯既具有娱乐性又有环保意识的先锋行动证明取得成功。
A program generated from this model has yielded results agreeing better with test data collected from some proving ground tests.
利用该模型编制的软件的计算结果与某基地的试验数据吻合得较好。
Finally, arithmetic principle is analyzed and numerical example is calculated by the program, thus proving that the optimal design algorithm can be used.
通过算法原理分析和算例计算，表明该优化算法有一定的应用价值。
Finally, arithmetic principle is analyzed and numerical example is calculated by the program, thus proving that the optimal design algorithm can be used.
通过算法原理分析和算例计算，表明该优化算法有一定的应用价值。
应用推荐