大家好,小万来为大家解答以上的问题。定理机器证明，关于定理机器证明介绍这个很多人还不知道,现在让我们一起来看看吧！

1、 定理机器证明是用计算机自动地进行推理和证明数学定理。

2、又称为自动定理证明(ATP)。

3、让机器去证明数学定理的想法，在17世纪G.W.Leibniz 创立数理逻辑时就产生了，但这一想法的真正实现，是在20世纪40年代计算机诞生以后。

关于定理机器证明到此分享完毕，希望能帮助到您。

版权说明： 本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。

标签：