数学定理的机器证明 把一类定理作为一个整体加以考虑,建 立一个统一的、确定的证明程序,对该类 定理中的每一个定理,应用证明程序进行 有限步推理之后即可从命题的假设推出命 题的结论。 计算机自动推理实例 计算机象棋、四色定理、初等几何定理 的计算机证明• 数学定理的机器证明 把一类定理作为一个整体加以考虑，建 立一个统一的、确定的证明程序，对该类 定理中的每一个定理，应用证明程序进行 有限步推理之后即可从命题的假设推出命 题的结论。 • 计算机自动推理实例 计算机象棋、四色定理、初等几何定理 的计算机证明