英汉例句

• 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.

  传统上，定理机器证明常常使用某种逻辑表示，然后再进行推理，这些方法往往缺乏灵活性，且证明过程难以理解。

• demonstrates that a small amount of code verified with automated theorem proving can support an arbitrary large amount of tal code.

  它演示了少量带有自动化定理证明功能，经过验证的代码它能够支持任意数量的tal代码。

• meanwhile, the application examples of equivalent transformation in the modeling, transfer function calculating and theorem proving are suggested.

  文中还给出了等价变换在建模、传函矩阵计算和有关定理证明方面应用的实例。

• the research in mechanical theorem proving has great significance in the theory and the practice.

  定理机器证明的研究，在理论和实践上都具有重要的意义。

• the popular approaches are introduced and summarized, especially model checking based method, theorem proving based method, logic programming based method and so on.

  以计算逻辑为基础，介绍了定理机器证明中一种新的启发式方法——波动方法，它是一种在证明中通过处理归纳结论来激活归纳假设的策略。

• property verification is carried out using theorem proving systems.

  特性验证使用定理求证系统来实现。

• it has become more and more important that the application of theorem proving on mathematic theorem proving, protocol verification, hardware verification and software verification.

  机器定理证明在数学定理证明、协议验证、软件和硬件的形式化验证等方面发挥出越来越重要的作用。

• there has been a lot of success in the study of automated theorem proving during the past 50 years.

  定理机器证明的研究已有将近50年的历史，并已经在数理逻辑、初等代数和几何学等学科取得显着成功。

• abstract: from the proof of the theorem of related euler, euler theorem proving mathematical way of thinking, which reflected on the basis of the application.

  摘要：摘要：从欧拉定理的证明为切入口，探讨欧拉定理证明所体现数学思想方法，在此基础上探 究其应用。

• the forward reasoning for geometry theorem proving can produce the traditional readable proving, thus plays a special role in the mechanical theorem proving.

  几何定理证明的前推法能够产生传统形式的可读证明，在定理机器证明领域占有重要的地位。

• third, the use of lagrange's theorem proving the points of the study on some conclusions, that the lagrange theorem in the integral study also has a wide range of applications.

  再次，利用拉格朗日定理证明了积分学上的几个结论，说明拉格朗日定理在积分学中也有广泛的应用。

• first, for theorem proving problem such like (vx)(3y)p(x, y), we present a method for extracting procedure from the proofs generated by the resolution principle.

  的定理证明问题，本文从分析归结证明树中的每个节点入手，提取归结证明的过程信息，生成一个程序。

• this paper describes the procedure of using basic to realize theorem proving on a mini-computer m-6800.

  本文介绍了在m-6800微型机上，用basic语言实现定理证明的过程。