《离散数学教程（第2版）》针对综合性大学和工程类院校计算机类专业本科生进行选材与编撰，内容覆盖ACM计算机科学课程体系规范2013（ Computer Science Cur-ricula 2013）中离散结构知识领域下除离散概率之外的全部知识点。从离散结构形式化表示理论到各类离散结构及其数学模型的介绍，该书在内容组织上力求做到突出知识内在联系与保持知识模块完整性之间的平衡，从而使教材更具可读性和系统性。该书章节内容不仅覆盖集合论、数理逻辑、组合论、图论、可计算性、抽象代数等基础理论部分，还给出了这些基本理论在粗糙集、模糊集、自动推理、智能搜索、加密技术等领域的应用，并涉及公理化集合论、数理逻辑形式系统、形式语言与自动机等相关理论。该书以离散结构为建模对象，紧密联系计算机科学技术，特别强调应用能力、证明技术、计算思维的培养。为便于学生及时复习并巩固所学知识，该书在每节后安排了大量习题；同时，为便于学有余力的学生进一步深造，每章后安排了一节阅读材料，以此来对本章所介绍的理论进行深入探讨，或进一步介绍技术的相关应用。该书不仅可用作高等学校计算机类专业本科生的离散数学课程教材，也可供相关工程技术人员阅读参考。
鄂公网安备 42010302001612号 