本书自从1991年发行第一版，直到2004年推出第三版，并被评为北京市精品教材，至今又是几年过去了.在近10年里，信息技术飞速发展，新成果层出不穷，已经广泛应用到生产和生活的各个领域，一个崭新的信息时代正在到来.为了应对高层次信息人才需求的巨大挑战，近年来，教育部计算机科学与技术专业教学指导委员会组织有关专家对国内外计算机专业教育进行了深入的调研，提出了《计算机科学与技术专业规范》 (CCC2004-2005) .在这个规范中，计算机科学与技术专业被细化成计算机科学、计算机工程、软件工程、信息技术4个专业方向，并提出了相关专业方向的教学计划和课程设计.

根据这个意见的指导思想，并结合信息管理与信息系统专业的教学要求，本书第四版在保持原有写作风格的基础上，除了对文字做了进一步加工，纠正了某些疏漏以外，并对部分内容进行了调整，主要表现在：

(1) 在组合分析中补充了递推方程的求解及其在计算机递归算法分析中的应用.

(2) 形式系统通常包含形式语言以及用形式语言表述的公理和推理规则. 在形式系统中，符号串本身是没有语义的，只能通过解释赋予它们一定的语义，但在讨论系统的公理或推理规则时应该与语义无关.本书在以前几个版本关于一阶逻辑推理的叙述中没有采用公理化的方法.为了兼顾逻辑体系的严谨性及本书的定位与写作风格，决定删掉这部分内容.

(3) 面向计算机科学技术的新发展，补充了一些离散数学在相关领域的应用实例.  

在此次修订中，也对配套出版的《离散数学题解》进行了相应的更新和调整，PPT电子教案的修订版随后推出.各章修订都由原作者完成.

本书适合作为计算机应用和信息技术等相关专业的教学用书，教师可以根据不同教学要求进行适当剪裁，大约用54～72学时完成教学计划.此外，本书也可以作为从事信息系统开发的科技人员的参考书.