清华大学计算机系列教材：《离散数学——数理逻辑与集合论》教学资源（石纯一、王家廞）

一、《离散数学》 二、《集合论与图论》 三、《代数结构与组合数学》 四、《数理逻辑》

本书强调严格性和基础性，书中的材料从源头—数系的结构及集合论开始，然后引向分析的基础（极限、级数、连续、微分、Riemann积分等），再进入幂级数、多元微分学以及Fourier分析，最后到达Lebesgue积分，这些材料几乎完全是以具体的实直线和欧几里得空间为背景的.书中还包括关于数理逻辑和十进制系统的两个附录。课程的材料与习题紧密结合，目的是使学生能动地学习课程的材料，并且进行严格的思考和严密的书面表达的实践本书适合已学过微积分的高年级本科生和研究生学习

第 1 节 证明的必要性 第 2 节 集合 第 3 节 关系 第 4 节 函数 第 5 节 等价关系与划分 第 6 节 序 第 7 节 结构的例子