定理证明是指数学领域中对臆测的定理寻求一个证明，证明定理时，不仅需要有根据假设进行演绎的能力，而且需要有某些知觉的技巧，这是一项需要智能才能完成的任务。
定理证明 [dìng lǐ zhèng míng]
网络释义专业释义
（1） 定理证明 （ Theory Proving ）方法 定理证明 是半自动的基于证明的验证方法。它的基础是一个形式化的逻辑 系统，该逻辑系统由一系列公理和推理规则组成。
基于74个网页-相关网页
形式验证主要包括等价性检查（Equivalence Checking）、形式模型检查（Formal Model Checking）和定理证明（Theory Prover）。 等价性检查主要用在后端流程中。
基于24个网页-相关网页
短语
自动定理证明 automated theorem proving ; Automated Mechanical Theory Proving ; theorem
定理证明器 [计] theorem prover ; automatic theorem prover
机器定理证明 [计] mechanical theorem proving
定理证明机 theorem proving machine
定理证明系统 theorem proving system
定理证明程序 [计] theorem prover
定理证明法 theorem proving method
按分解律的定理证明 theorem proving by resolution
-
theorem proving - 引用次数：49
TP(Theorem Proving) has always been one of the most central concerns of AI.
自动定理证明一直是人工智能领域中最重要的问题之一。
参考来源 - 一种新的基于扩展规则的知识编译方法 -
theorem-provingtheorem prooftheoryproving
-
theorem proving - 引用次数：10
In the end we discuss another technique-the Theorem Proving method.
文章最后对形式验证的另一种技术——定理证明方法进行了相应的探讨。
参考来源 - 形式验证技术的应用研究
·2,447,543篇论文数据，部分数据来源于NoteExpress
双语例句原声例句
-
前件推导是定理证明的一种扩展。
-
在讲定理证明和其他应用之前，还有什么疑问？
OK, any questions, generally speaking, before we move on to the proof and other applications?
-
许多数学家只是把这些恼人的问题简单地弃置一旁，而忙于类似定理证明这样更有趣的事务。
Many mathematicians simply set nettlesome questions like these aside and get back to the more pleasant business of proving theorems.
-
We prove things in mathematics that have never been proven before or we find new ways to prove these theorems or what have you and we can be creative.
我们用数学去证明从未被证明过的事物,我们探寻新的方法去证明那些定理,或其他诸如此类,总之,我们具有创造力
-
There are mathematical theorem-proving programs.
有些程序可以证明数学定理
应用推荐
$firstVoiceSent
- 来自原声例句