翻译：《计算机科学与数学》 目录

第一章 什么是证明
第二章 良序原理
每个由非负整数组成的非空集合都存在一个最小元素
第三章 逻辑式
第四章 数学中的数据类型
第五章 归纳
第六章 状态机
第七章 递归数据类型
第八章 无限集合
第九章 数论
第十章 有向图和偏序
第十一章 通信网
第十二章 简单图
第十三章 平面图
第十四章 总和与渐近性
第十五章 基数规则
第十六章 生产函数
第十七章 事件与概率空间
第十八章 条件概率
第十九章 随机变量
第二十章 偏离平均值
第二十一章 递归