| 前言 | 第1-7页 |
| 第一章 计算机在数学中的新应用 | 第7-24页 |
| 第一节 作为数值计算的工具 | 第7-16页 |
| 第二节 作为定理证明的工具 | 第16-19页 |
| 第三节 作为数学实验的工具 | 第19-24页 |
| 第二章 关于四色问题和分形几何的争论与实质 | 第24-45页 |
| 第一节 理论上的争论 | 第24-26页 |
| 第二节 四色猜想证明的历史及其争论 | 第26-32页 |
| 第三节 分形几何的产生及其争论 | 第32-39页 |
| 第四节 争论的实质 | 第39-45页 |
| 第三章 计算机变革数学研究方式的意义 | 第45-60页 |
| 第一节 加速数学的发展 | 第45-54页 |
| 第二节 重新认识算法与公理法的关系 | 第54-60页 |
| 第四章 数学性质的辩证性 | 第60-76页 |
| 第一节 关于数学性质的历史考察 | 第61-67页 |
| 第二节 著名数学家对数学性质两重性的论述 | 第67-70页 |
| 第三节 数学本质是经验性与演绎性的辩证统一 | 第70-76页 |
| 参考文献 | 第76-80页 |
| 后记 | 第80页 |