内容章节包括：第一篇：数理逻辑命题逻辑、谓词逻辑第二篇：集合论集合与关系、寒暑第三篇：代数系统代数

和作业题三大部分（三）：一、集合论与图论.pdf三、数理逻辑.pdf二、代数结构与组合数学.pdf

结点等）。第一部分数理逻辑第一章命题逻辑第二章谓词逻辑第二部分集合论第三章集合与关系第四章函数第三

学进度安排（1）集合论与图论.pdf（2）代数结构与组合数学.pdf（3）数理逻辑.pdf教学计划

del）1.1逻辑.ppt1.2命题演算.ppt1.3谓词与量词.ppt1.4-5集合.ppt2.1

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

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

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

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