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

屈婉玲 1969年毕业于北京大学物理系物理学专业，现任北京大学信息科学技术学院教授、博士生导师，中国人工智能学会离散数学专委会委员。主要研究方向是算法设计与分析，发表论文20多篇，出版教材、教学参考书、译注20多部，其中包含多部国家级规划教材和北京市精品教材。所讲授的离散数学课程被评为国家级精品课程，两次被评为北京大学十佳教师，并获得北京市优秀教师称号。曾主持过多项国家级教材和课程建设项目，并获得北京市教育教学成果（高等教育）一等奖。

第4版前言FOREWORD清华大学出版社的“21世纪大学本科计算机专业系列教材”《离散数学习题解答与学习指导（第3版）》已经出版9年了. 在这9年里，计算机科学技术又有了长足的发展，新的技术不断涌现，从人机对弈，到人脸识别和自动驾驶，新技术的应用场景不断扩大. 对计算机专业的需求也不断扩大，在全球范围内，学习计算机专业的学生人数不断增加. 因此，为高等学校计算机专业的师生提供好的教材，就成了很有意义的工作. 作为计算机专业的基础课之一，离散数学的内容相对稳定，传统上主要包括数理逻辑、集合论、图论、组合数学、代数结构等. 本书在这些内容之外，还覆盖了初等数论和离散概率、算法的平均情况复杂度分析、随机算法等内容. 书中还举例说明了离散数学中的各种概念和结论在关系数据库、工作流模型、密码学、算法分析等领域的应用. 本书有大量难度适当的习题，并有配套的习题解答和电子教案，既方便师生的课堂教学，也方便对离散数学感兴趣的读者自学. 从本书初版到现在已经有十几个年头了，经过之前的两次修订再版和多年的实际使用，内容已经相当成熟. 这次修订改版，内容上没有做大的改动，除了更正一些错误，以及对文字做了进一步的精细加工外，主要是在第14章代数系统的内容里增加了对皮亚诺系统的介绍，并补充了相应的习题和解答. 皮亚诺系统给出了自然数集的严格定义，在此基础上，可以定义自然数的各种运算并证明这些运算的性质. 在这个过程里，要综合运用本课程前面学过的集合、函数、递归定义、归纳证明、代数系统的同构等概念和技巧. 作者衷心感谢广大读者和清华大学出版社的支持和鼓励. 此次修订，主要由刘田完成. 不当之处，还...