|
|||||
|
|
| 关于机器证明 | |
| 引用本文： | 王世强,别荣芳,史璟. 关于机器证明[J]. 前沿科学, 2011, 5(1): 76-77 |
| 作者姓名： | 王世强 别荣芳 史璟 |
| 作者单位： | 1. 北京师范大学数学学院,北京,100875 2. 北京师范大学信息科学学院,北京,100875 3. 中央财经大学现代逻辑研究所,北京,100081 |
| 摘 要： | 本文简介机器证明的理论与实践．并附一篇关于用模型论方法证明无限地图的四色定理． |
| 关 键 词： | 机器证明 四色定理 模型论 |
On Computer Proof |
|
| Wang Shiqiang,Bie Rongfang,Shi Jing. On Computer Proof[J]. Frontier Science, 2011, 5(1): 76-77 | |
| Authors: | Wang Shiqiang Bie Rongfang Shi Jing |
| Affiliation: | Wang Shiqiang1 Bie Rongfang2 Shi Jing3 (1 School of Mathematicics,Beijing Normal University,100875 Beijing;2 School of Information Science,Beijing Normal University,100875 Beijing;3 Institute of Modern Logic,Central University of Finance and Economy,100081 Beijing) |
| Abstract: | 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. |
| Keywords: | Four Colour Theorem Model Theory. |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |