为了应对高层次信息人才需求的巨大挑战，近年来，教育部计算机科学与技术专业教学指导委员会组织有关专家对国内外计算机专业教育进行了深入的调研，提出了《计算机科学与技术专业规范》。在这个规范中，计算机科学与技术专业被细化成计算机科学、计算机工程、软件工程、信息技术4个专业方向，并提出了相关专业方向的教学计划和课程设计。根据这个意见的指导思想，并结合信息管理与信息系统专业的教学需求，作者对《离散数学》第三版进行了修订，同时对相关的配套教学用书《离散数学题解》也进行相应的更新。本书可作为与配套的《离散数学》的辅助教材，也可以作为其他《离散数学》教材的参考书。

本书是《离散数学(第四版)》(耿素云，屈婉玲，张立昂编著，清华大学出版社出版)一书的配套题解。

全书含6个部分：1.数理逻辑；2.集合论；3.代数结构；4.图论；5.组合分析初步；6.形式语言和自动机初步。每部分均包含三方面内容：(1)内容提要；(2)与本部分配套的习题；(3)习题解答。对每道题都做了较详细的解答与分析。对某些题还给出了不同的解法或指出容易犯的错误及犯错误的原因。

本书可作为与配套的《离散数学》的辅助教材，也可以作为其他《离散数学》教材的参考书。

第1章 命题逻辑

　内容提要

　习题

　习题解答

第2章 一阶逻辑

　内容提要

　习题

　习题解答

第3章 集合的基本概念和运算

　内容提要

　习题

　习题解答

第4章 二元关系和函数

　内容提要

　习题

　习题解答

第5章 代数系统的一般性质

　内容提要

　习题

　习题解答

第6章 几个典型的代数系统

　内容提要

　习题

　习题解答

第7章 图的基本概念

　内容提要

　习题

　习题解答

第8章 一些特殊的图

　内容提要

　习题

　习题解答

第9章 树

　内容提要

　习题

　习题解答

第10章 组合分析初步

　内容提要

　习题

　习题解答

第11章 形式语言和自动机初步

　内容提要

　习题

　习题解答