离散数学是计算机专业的一门重要基础课，它主要包括以下几部分内容：集合论基础；图论；代数结构；数理逻辑。本书列举了大量例题，并在每节内容后安排了一定量的习题，以助于读者学习和消化书中内容。编者期望读者在学习完本书后，能对离散数学这门课程有个基本的了解，对书中的基本内容有较好的理解和掌握，为后续课程的学习打下良好的基础。

本书下册是学习离散数学课程的学习指导书，内容安排上基本按照《离散数学》（上册）的内容体系，以方便读者查阅学习。

离散数学是计算机专业的一门重要基础课，它包括集合论、图论、代数系统、数理逻辑等内容。具有很强的抽象性，教学过程中学生普遍反映难学。为配合课堂教学及有利于学生自学，编写了这本学习指导书，期望它能对学生学好这门课程有所帮助。

为指导学生学习，本书按章给出了内容提要、习题与解等内容。其中内容提要给出了本章的主要内容。习题与解则给出了大量的习题及求解过程，习题的涉及面较广，将有助于学生对内容的全面理解和掌握。为检测学习情况，书中编有自测题及答案，以便学生对自已的学习情况进行检测。

上册

第一篇 集合论

第一章 集合

第一节 集合的概念及表示

第二节 集合的运算

第三节 序偶与笛卡尔积

第二章 关系

第一节 关系的概念

第二节 复合关系

第三节 逆关系

第四节 关系的性质

第五节 关系的闭包运算

第六节 相容关系

第七节 等价关系

第八节 序关系

第三章 映射和函数

第一节 函数与映射

第二节 复合映射和逆映射

第三节 基数的概念

第四节 可数集与不可数集

第五节 基数的比较

第二篇 图论

第四章 图论

第一节 图的基本概念

第二节 路与回路

第三节 树

第四节 图的遍历

第五节 平面图

第六节 有向图

第三篇代数系统

第五章 代数结构

第一节 运算

第二节 代数系统的概念及性质

第三节 半群和独异点

第四节 群与子群

第五节 陪集与拉格朗日定理

第六节 同态与同构

第七节 环

第六章 格与布尔代数

第一节 格的概念

第二节 有余格与分配格

第三节 布尔代数

第四篇 数理逻辑

第七章 命题逻辑

第一节 命题及其表示法

第二节 联结词

第三节 命题公式

第四节 命题演算的等价式与蕴含式

第五节 范式

第六节 推理理论

第八章 谓词逻辑

第一节 谓词与量词

第二节 谓词公式与翻译

第三节 自由变元和约束变元

第四节 谓词演算的等价式与蕴含式

第五节 谓词演算的推理理论

附录 矩阵及其计算

附—1 矩阵及运算

附—2 分块矩阵

参考文献

下册

第一篇 集合论

第一章 集合

一、内容提要

二、习题与解

第二章 关系

一、内容提要

二、习题与解

第三章 映射和函数

一、内容提要

二、习题与解

自测题及答案（第一篇）

第二篇 图论

第四章 图论

一、内容提要

二、习题与解

自测题及答案（第二篇）

第三篇 代数系统

第五章 代数结构

一、内容提要

二、习题与解

第六章 格与布尔代数

一、内容提要

二、习题与解

自测题及答案（第三篇）

第四篇 数理逻辑

第七章 命题逻辑

一、内容提要

二、习题与解

第八章 谓词逻辑

一、内容提要

二、习题与解

自测题及答案（第四篇）

参考文献