-
1.
定理 -
https://baike.baidu.com/item/定理/9488549
![]()
定理，是经过受逻辑限制的证明为真的陈述。
一般来说，在数学中，只有重要或有趣的陈述才叫定理。
是用逻辑的方法判断为正确并作为推理的根据的真命题。
在命题逻辑，所有已证明的叙述都称为定理。
定理是经过受逻辑限制的证明为真的叙述。一般来说，在数学中，只有重要或有趣的陈述才叫定理。证明定理是数学的中心活动。
-
2.
定理证明 -
https://baike.baidu.com/item/定理证明
![]()
定理证明theorem proving，是指数学领域中对臆测的定理寻求一个证明，证明定理时，不仅需要有根据假设进行演绎的能力，而且需要有某些知觉的技巧，这是一项需要智能才能完成的任务。
-
3.
机器定理证明 -
https://baike.baidu.com/item/机器定理证明
![]()
机器定理证明，把人证明数学定理和日常生活中的演绎推理变成一系列能在计算机上自动实现的符号演算的过程和技术，又称自动定理证明和自动演绎。
-
4.
自动定理证明 -
https://baike.baidu.com/item/自动定理证明
![]()
自动定理证明
第一页
上一页 第 1 / 1 页
下一页
最后一页 共 4 条