离散数学习题解答与学习指导（第4版 在线教学版）

　　本书是根据清华大学出版社与中国计算机学会共同规划的“21世纪大学本科计算机专业系列教材”《离散数学习题解答与学习指导（第4版）》（主教材）以及电子教案编写的配套教学指导用书。全书分为14章，每章包含内容提要、习题、习题解答与分析三部分。内容提要总结了本章的主要定义、定理、公式、重要的结果等；习题部分包含了与上述内容配套的数十道题；习题解答与分析部分不但对上述习题给出了详细的解答，而且对一些典型的解题方法做了比较深入的分析和总结。总计超过500道题，涵盖了数理逻辑、集合论、图论、组合数字、数论、离散概率、代数结构等不同模块的基本内容和典型的解题方法。本书既可以作为主教材的配套教学用书，也可以单独使用，为学习离散数学的读者在解题能力和技巧的训练方面提供有益的帮助。

　　张立昂，北京大学信息科学技术学院教授、博士生导师。一直从事数学和理论计算机科学的教学与研究工作，主要研究方向是计算复杂性理论和算法设计与分析，发表论文20余篇，出版教材、教学参考书、译著20余部，其中包含多部 规划教材和北京市精品教材。曾获 科学技术进步二等奖，北京市教育教学成果（高等教育）一等奖，北京大学教学成果一等奖、正大奖教金及教学 奖等。

第1章 数学语言与证明方法
1.1 内容提要
1.2 习题
1.3 习题解答与分析
第2章 命题逻辑
2.1 内容提要
2.2 习题
2.3 习题解答与分析
第3章 一阶逻辑
3.1 内容提要
3.2 习题
3.3 习题解答与分析
第4章 关系
4.1 内容提要
4.2 习题
4.3 习题解答与分析
第5章 函数
5.1 内容提要
5.2 习题
5.3 习题解答与分析
第6章 图
6.1 内容提要
6.2 习题
6.3 习题解答与分析
第7章 树及其应用
7.1 内容提要
7.2 习题
7.3 习题解答与分析
第8章 组合计数基础
8.1 内容提要
8.2 习题
8.3 习题解答与分析
第9章 容斥原理
9.1 内容提要
9.2 习题
9.3 习题解答与分析
0章 递推方程与生成函数
10.1 内容提要
10.2 习题
10.3 习题解答与分析
1章 初等数论
11.1 内容提要
11.2 习题
11.3 习题解答与分析
2章 离散概率
12.1 内容提要
12.2 习题
12.3 习题解答与分析
3章 初等数论和离散概率的应用
13.1 内容提要