《离散数学（第4版）》参照美国ACM和IEEE CS**推出的Computing Curricula，根据教育部高等学校计算机科学与技术教学指导委员会**编制的“高等学校计算机科学与技术专业规范”中关于离散数学的知识结构和体系撰写. 全书共14章，内容包含证明技巧、数理逻辑、集合与关系、函数、组合计数、图和树、初等数论、离散概率、代数系统等. 体系严谨，文字精练，内容翔实，例题丰富，注重与计算机科学技术的实际问题相结合，并选配了大量难度适当的习题，适合教学. 另外，本书有配套的习题解答与学习指导等教学辅导用书，以及用于课堂教学的PPT演示文稿和在线数字资源等，以满足教学需要. 本书适合作为高等学校计算机及相关专业本科生“离散数学”课程的教材，也可以作为对离散数学感兴趣的人员的入门参考书.

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

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