theorem proving
定理证明
常用释义
英式发音
美式发音
基本释义
- 定理证明
例句
-
1·Antecedent derivation is an extension of theorem proving.前件推导是定理证明的一种扩展。
-
2·Property verification is carried out using theorem proving systems.特性验证使用定理求证系统来实现。
-
3·The resolution principle is known to be a basic tool for theorem proving.归结原理是定理机器证明中的一种基本技术。
-
4·The research in mechanical theorem proving has great significance in the theory and the practice.定理机器证明的研究，在理论和实践上都具有重要的意义。
-
5·There has been a lot of success in the study of automated theorem proving during the past 50 years.定理机器证明的研究已有将近50年的历史，并已经在数理逻辑、初等代数和几何学等学科取得显著成功。
-
6·There is however a much larger disconnect between the world of theorem proving and dynamic languages.然而在理论层面和动态语言实际应用之间还是存在一些差距的。
-
7·To check consistency of UML model, the consistency checking is converted to a problem of theorem proving.在检验u ML模型一致性时，把一致性检验问题转化为逻辑定理证明问题。
-
8·Demonstrates that a small amount of code verified with automated theorem proving can support an arbitrary large amount of TAL code.它演示了少量带有自动化定理证明功能，经过验证的代码它能够支持任意数量的TAL代码。
-
9·Meanwhile, the application examples of equivalent transformation in the modeling, transfer function calculating and theorem proving are suggested.文中还给出了等价变换在建模、传函矩阵计算和有关定理证明方面应用的实例。
-
10·The subsidiary conditions (or called non-degeneracy conditions) are not one and only that a theorem holds in differential geometry theorem proving.在微分几何定理证明中，一个定理成立的辅助条件(非退化条件)不是惟一的，但越简单越好。