本书包括以下6个方面的内容： (1)数理逻辑； (2)集合论； (3)代数结构； (4)图论； (5)组合分析初步； (6)形式语言与自动机初步. 书中概念论述清楚，讲解翔实，通俗易懂，并且着重于概念的应用，而不着重于定理的证明.每章后均附有习题.建议学时60~80. 本书可以作为计算机及信息管理等相关专业本科生的教材，也可以作为计算机软件专业水平考试的参考书.同时还可以供从事计算机软件、硬件开发和应用的人员使用.另有配套教材《离散数学题解》（第三版）.

本书自从1991年发行第一版，直到2004年推出第三版，并被评为北京市精品教材，至今又是几年过去了.在近10年里，信息技术飞速发展，新成果层出不穷，已经广泛应用到生产和生活的各个领域，一个崭新的信息时代正在到来.为了应对高层次信息人才需求的巨大挑战，近年来，教育部计算机科学与技术专业教学指导委员会组织有关专家对国内外计算机专业教育进行了深入的调研，提出了《计算机科学与技术专业规范》 (CCC2004-2005) .在这个规范中，计算机科学与技术专业被细化成计算机科学、计算机工程、软件工程、信息技术4个专业方向，并提出了相关专业方向的教学计划和课程设计. 根据这个意见的指导思想，并结合信息管理与信息系统专业的教学要求，本书第四版在保持原有写作风格的基础上，除了对文字做了进一步加工，纠正了某些疏漏以外，并对部分内容进行了调整，主要表现在： (1) 在组合分析中补充了递推方程的求解及其在计算机递归算法分析中的应用. (2) 形式系统通常包含形式语言以及用形式语言表述的公理和推理规则. 在形式系统中，符号串本身是没有语义的，只能通过解释赋予它们一定的语义，但在讨论系统的公理或推理规则时应该与语义无关.本书在以前几个版本关于一阶逻辑推理的叙述中没有采用公理化的方法.为了兼顾逻辑体系的严谨性及本书的定位与写作风格，决定删掉这部分内容. (3) 面向计算机科学技术的新发展，补充了一些离散数学在相关领域的应用实例. 在此次修订中，也对配套出版的《离散数学题解》进行了相应的更新和调整，PPT电子教案的修订版随后推出.各章修订都由原作者完成. 本书适合作为计算机应用和信息技术等相关...