关于机器证明  

On Computer Proof

作　　者：王世强[1] 别荣芳[2] 史璟[3] 

机构地区：[1]北京师范大学数学学院,北京100875 [2]北京师范大学信息科学学院,北京100875 [3]中央财经大学现代逻辑研究所,北京100081

出　　处：《前沿科学》2011年第1期76-77,共2页Frontier Science

摘　　要：本文简介机器证明的理论与实践.并附一篇关于用模型论方法证明无限地图的四色定理.In this paper we give a brief Introduction to Computer Proof and then we prove a Four Colour Theorem for Infinite Maps by Model-Theoretic method.

关 键 词：机器证明 四色定理 模型论 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]