离散数学是现代数学的重要分支，是计算机科学中基础理论的核心课程。然而，离散数学内容比较分散，习题多，很多习题初学者难以下手。为帮助学生抓住重点，规范练习，编者编写了此书。

本书是根据《离散数学课程教学的基本要求》并参考工科大学计算机类各专业的离散数学课程教学大纲编写的。书中尽量避免了难题偏题，围绕基本知识点和基本要求，分析典型题例，从易到难，循序渐进，帮助学生轻松掌握基本内容。

本书内容主要包括集合论、数理逻辑、图论和代数系统四个部分。各部分分为基本知识点、重点与难点、典型题解析几个环节进行介绍，每章最后一节为自我检测题。附录A给出各章自我检测题的详细答案。附录B提供了三套近年来高校硕士研究生入学考试试题离散数学部分及其参考答案。

本书例题和自我检测题在选题方面注重代表性，分析和解题过程重视方法和技巧，从易到难，循序渐进，有的题目给出一题多解。

本书可作为计算机和信息类本科、专科学生学习离散数学课程的课外辅导书，也可作为相关专业的考研复习资料。

第1章 集合

  1.1 集合的概念

1.1.1 基本知识点

1.1.2 重点与难点

1.1.3 典型题解析

  1.2 集合的运算与文氏图

1.2.1 基本知识点

1.2.2 重点与难点

1.2.3 典型题解析

  1.3 递归定义和笛卡儿乘积

1.3.1 基本知识点

1.3.2 重点与难点

1.3.3 典型题解析

  1.4 计数问题

1.4.1 基本知识点

1.4.2 重点与难点

1.4.3 典型题解析

  1.5 自我检测题

第2章 二元关系

  2.1 关系及其性质

2.1.1 基本知识点

2.1.2 重点与难点

2.1.3 典型题解析

  2.2 关系的乘积、逆关系、闭包运算

2.2.1 基本知识点

2.2.2 重点与难点

2.2.3 典型题解析

  2.3 集合的划分与等价关系

2.3.1 基本知识点

2.3.2 重点与难点

2.3.3 典型题解析

  2.4 偏序关系

2.4.1 基本知识点

2.4.2 重点与难点

2.4.3 典型题解析

  2.5 自我检测题

第3章 函数（映射）

  3.1 函数及特殊函数

3.1.1 基本知识点

3.1.2 重点与难点

3.1.3 典型题解析

  3.2 逆函数和复合函数

3.2.1 基本知识点

3.2.2 重点与难点

3.2.3 典型题解析

  3.3 可数集与不可数集

3.3.1 基本知识点

3.3.2 重点和难点

3.3.3 典型题解析

  3.4 自我检测题

第4章 命题逻辑

  4.1 命题及命题联结词

4.1.1 基本知识点

4.1.2 重点与难点

4.1.3 典型题解析

  4.2 命题公式及基本等值式

4.2.1 基本知识点

4.2.2 重点与难点

4.2.3 典型题解析

  4.3 永真式与永真蕴涵式

4.3.1 基本知识点

4.3.2 重点与难点

4.3.3 典型题解析

  4.4 对偶式及命题范式

4.4.1 基本知识点

4.4.2 重点与难点

4.4.3 典型题解析

  4.5 命题推理方法

4.5.1 基本知识点

4.5.2 重点与难点

4.5.3 典型题解析

  4.6 自我检测题

第5章 谓词逻辑

  5.1 谓词与量词

5.1.1 基本知识点

5.1.2 重点与难点

5.1.3 典型题解析

  5.2 谓词公式与永真式

5.2.1 基本知识点

5.2.2 重点与难点

5.2.3 典型题解析

  5.3 基本等值式与永真蕴含式

5.3.1 基本知识点“

5.3.2 重点与难点

5.3.3 典型题解析

  5.4 逻辑推理理论

5.4.1 基本知识点

5.4.2 重点与难点

5.4.3 典型题解析

  5.5 自我检测题

第6章 图论基础

  6.1 图的基本概念

6.1.1 基本知识点

6.1.2 重点与难点

6.1.3 典型题解析

  6.2 路、回路与图的连通性

6.2.1 基本知识点

6.2.2 重点与难点

6.2.3 典型题解析

  6.3 图的矩阵表示

6.3.1 基本知识点

6.3.2 重点与难点

6.3.3 典型题解析

  6.4 赋权图的最短路与关键路

6.4.1 基本知识点

6.4.2 重点与难点

6.4.3 典型题解析

  6.5 欧拉图和哈密尔顿图

6.5.1 基本知识点

6.5.2 重点与难点

6.5.3 典型题解析

  6.6 自我检测题

第7章 特殊的图

  7.1 二分图与匹配

7.1.1 基本知识点

7.1.2 重点与难点

7.1.3 典型题解析

  7.2 平面图及其对偶图

7.2.1 基本知识点

7.2.2 重点与难点

7.2.3 典型题解析

  7.3 树图与图的生成树

7.3.1 基本知识点

7.3.2 重点与难点

7.3.3 典型题解析

  7.4 有向树和有根树

7.4.1 基本知识点

7.4.2 重点与难点

7.4.3 典型题解析

  7.5 自我检测题

第8章 代数系统基础知识

  8.1 基本概念

8.1.1 基本知识点

8.1.2 重点与难点

8.1.3 典型题解析

  8.2 同态与同构

8.2.1 基本知识点

8.2.2 重点与难点

8.2.3 典型题解析

  8.3 群

8.3.1 基本知识点

8.3.2 重点与难点

8.3.3 典型题解析

  8.4 环与域

8.4.1 基本知识点

8.4.2 重点与难点

8.4.3 典型题解析

  8.5 自我检测题

第9章 格与布尔代数

  9.1 格的基本概念和特殊的格

9.1.1 基本知识点

9.1.2 重点与难点

9.1.3 典型题解析

  9.2 布尔代数和布尔函数

9.2.1 基本知识点

9.2.2 重点与难点

9.2.3 典型题解析

  9.3 自我检测题

附录A 自我检测题参考答案

附录B 硕士研究生入学考试试题离散数学部分及参考答案