引言 1
第一章 计算机的算法 4
1 一次一步 4
2 算法 7
3 归类算法 14
4 算法比较 19
5 结语 25
思考题 27
第二章 编码与储存 31
1 编码 31
2 双值码 33
3 储存负整数 37
4 双值码与逻辑 41
5 计算机上进行加法 43
6 别的功能 47
思考题 53
第三章 计算机与图形 55
1 图形的实现 55
2 简单的几何学 56
3 变换 61
4 计算机上画分形 62
思考题 69
第四章 数学机械化 72
1 几何定理的机器证明 73
2 吴方法 77
3 机械化数学 82
4 吴文俊和他的人文哲学思想 85
思考题 92
部分思考题答案与提示 93