使用jMock和RMock将极大地减少代码中的bug，提高使用经过证明的方法测试编程逻辑的技巧。
Their use would drastically reduce bugs in code and improve your skill in using proven methods to test programming logic.
这一结果可以用于证明一阶逻辑形式系统和我们所提出的广义反驳方法的完备性。
This result can be used to prove the completeness theorems of first order logic system and the universal refutation method proposed by us.
该文首先介绍协ike议，然后对协议中一种具体的密钥交换模式的安全性使用逻辑方法进行证明，并得出关于协议正确性的结论。
This article introduces IKE protocol at first, then makes formal analysis on a certain key exchange mode by logical method, and proves the correctness of IKE.
利用这种表示反函数的方法，可简化一些逻辑等式的证明过程，并可使一些逻辑电路的设计过程简化。
The method to get it can be used to simplify the proving process of some logic equations, as well as some design processes of logical circuit.
分析过程证明，GO法在理论上符合严格的逻辑推导，为制造系统的可靠性分析提供了一种新的方法。
The analysis proves that in principle the GO methodology is in conformity with strict logical inference and provides a new method for the reliability analysis of a manufacturing system.
逻辑中的证明只是一种使得在复杂的情况下易于辨识重言式的机械的便利方法。
Proof in logic is merely a mechanical expedient to facilitate the recognition of tautologies in complicated cases.
对数学归纳法逻辑基础即原理的准确理解，是教师进行数学归纳法教学的前提，也是学生能否掌握这种证明方法的关键。
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.
传统上，定理机器证明常常使用某种逻辑表示，然后再进行推理，这些方法往往缺乏灵活性，且证明过程难以理解。
Traditionally, Mechanical theorem proving often use a logic representation, and then inference, these methods lack of flexibility and the proving processes are difficult to understand.
本文对7位串行码数字锁系统这一逻辑命题进行了实施方案的探讨和实验，证明用这种方法设计的系统结构简单实用。
The implementation scheme of digital latch system with 7 bit serial code is discussed and tested. The obtained results show the structure of system designed by this method is simple and practical.
实践证明，这种方法可以有效地解决在作者机构字段中使用“逻辑检索”和“字符串检索”所带来的误检和漏检的问题。
It has been found that this method may solve effectually the noise and omission because of using logical and character string retrievals in author affiliation index.
事实证明，随着电路规模的增大和功能的增强，采用计算机辅助分析和设计取代传统的手工方法，是实现逻辑电路分析设计的不可缺少的重要手段。
In fact, alongside the growth of circuits scale and function, it is inexorable trend that we replace tradition manual operation by computer assistant electronic circuit analysis and design.
向前向后方法是模型论及其应用研究中的一个新的工具。本文使用向前向后方法，对模态逻辑的两个定理构造了一种简单的证明。
Back and forth method is a new tool in study of model theory and its application. This paper construct short proofs for two theorems in modal logic by back and forth method.
然后，找出简洁的、符合逻辑的理由来证明你的方法：“强调积极的结果。
Then, make a concise, logical case for your approach: "Emphasize the positive outcome."
然后，找出简洁的、符合逻辑的理由来证明你的方法：“强调积极的结果。
Then, make a concise, logical case for your approach: "Emphasize the positive outcome."
应用推荐