本书是北京高等教育精品教材。内容主要包括数理逻辑、集合论、图论、组合分析初步、代数结构及形式语言和自动机初步6方面的内容。书中概念论述清楚，内容丰富，通俗易懂，并且着重于概念的应用，而不着重于定理的证明。每章后均附有习题，建议学时为54～72。 本书可以作为计算机及信息管理等相关专业本科生的教材，也可以供从事计算机软件、硬件开发和应用的人员使用。另有配套教材《离散数学题解（第六版）》。

耿素云 北京大学信息科学学院教授 致力于离散数学教学20余年，出版教材和译著多部，其中包括多部国家级规划教材和北京高等教育精品教材。被评为北京市教书育人、服务育人先进工作者，北京市优秀教师，北京大学“我爱我师――最受学生爱戴的老师”；获北京市教育教学成果（高等教育）一等奖，北京大学教学成果一等奖等。 屈婉玲 北京大学信息科学学院教授，博士生导师 曾任中国人工智能学会离散数学专业委员会委员。 一直从事离散数学和算法的教学，主要研究方向是算法设计与分析。 出版教材和译著多部， 其中包括多部国家级规划教材和北京高等教育精品教材。 主持过多项国家级教材和课程建设项目，所讲授的离散数学课程被评为国家精品课程，两次被评为北京大学十佳教师。获北京市优秀教师称号，北京市教育教学成果（高等教育）一等奖，北京大学“我爱我师――最受学生爱戴的老师”称号和教学成果一等奖等。 张立昂 北京大学信息科学学院教授，博士生导师 一直从事数学和理论计算机科学的教学及研究工作，主要研究方向是计算复杂性理论和算法设计与分析，出版教材和译著多部，其中包括多部国家级规划教材和北京高等教育精品教材。获教育部科学技术进步二等奖，北京市教育教学成果（高等教育）一等奖，北京大学教学成果一等奖等。

第六版前言 本次修订除了改正一些错误和修改一些文字外, 主要重新改写了第10章形式语言和自动机初步。删除了几个定理的证明, 简化了图灵机的内容, 这些内容对于使用本书的大多数读者不是很必要；增加了10.3节正则表达式, 正则表达式和正则文法、自动机是等价的, 是描述正则语言的常用工具；另外，还添加了10.1.4节和10.1.5节, 分别介绍正则文法和上下文无关文法的应用和语法分析树。希望这些简单的介绍能够帮助读者在后续课程中学习有关内容时在理论上更好地理解这些技术。 对配套出版的《离散数学题解(第六版)》(书号为9787302593201)也进行了相应的修订。 由于作者水平所限, 书中难免仍有不妥和错误, 恳请读者指正。 作者2021年8月第五版前言 本书自从2008年发行第四版以来，随着信息技术飞速发展和社会对高层次信息人才的迫切需求，根据教育部计算机科学与技术专业教学指导委员会提出的《计算机科学与技术专业规范》和《高等学校计算机科学与技术专业核心课程教学实施方案》的建议，结合信息管理与信息系统专业的教学要求，本书第五版在保持原有写作风格的基础上，除了对文字做了进一步加工，纠正了某些疏漏以外，并对部分内容进行了调整，主要表现如下。 （1） 将代数结构部分的内容进行了整合，并调整到教材的最后。 （2） 图论部分(第5～7章)的叙述有较大的改动。 （3） 增添了一些内容，主要是与离散数学应用相关的内容，它们是组合电路(第1章),欧拉函数(第3章),着色问题(第5章),地图着色与四色定理、格雷码(第6章)等。 （4） 对部分习题做了补充和调整。 ...