本书是与高等教育学历文凭考试计算机专业教材《离散数学》(科学出版社出版)相配套的辅导教材。内容按照教材对应章节的先后次序安排，每簿不仅包括了内容概述和习题解答，而且还概括了每一章的知识、**、难点，增加了范例解析，并对典型题、难题给出了解题思路，提供了解题方法和技巧。在习题解答部分，对教材中的每一道习题都给出了详细的解题过程和答案。本书*后附有1997年至2001年北京市高等教育学历文凭考试离散数学基础试题及其答案。
本书不仅可以作为高等教育学历文凭考试计算机专业离散数学课程的辅导教材，也可以作为高等学校离散数学课程的参考书以及广大离散数学读者的学习用书。

**章 命题逻辑
1.1本章内容概述
1.2范例解析
1.3习题与解答
第二章 一阶逻辑
2.1本章内容概述
2.2范例解析
2.3习题与解答
第三章 集合的基本概念和运算
3.1本章内容概述
3.2范例解析
3.3习题与解答
第四章 关系和函数
4.1本章内容概述
4.2范例解析
4.3习题与解答
第五章 代数系统概述
5.1本章内容概述
5.2范例解析
5.3习题与解答
第六章 几种典型的代数系统
6.1本章内容概述
6.2范例解析
6.3习题与解答
第七章 图的基本概念
7.1本章内容概述
7.2范例解析
7.3习题与解答
第八章 树
8.1本章内容概述
8.2范例解析
8.3习题与解答
第九章 几类特殊图
9.1本章内容概述
9.2范例解析
9.3习题与解答
附录 历年北京市高等教育学历文凭考试离散数学基础试题及答案
参考文献

高散数学作为高等学校计算机专业的重要专业基础课，要求学生系统地掌握基本概念、理论、算法，以及逻辑推理的形式描述、基本的证明和验证方法，并能灵活地运用这些对象及研究方法都不同于高等数学，而且概念多，内容抽象，使得相当多的初学者感到学好它很困难，特别是在解题时常常感到无从下手。因此，要学好这门课程，除了课堂教学外，课后还必须做适量的习题来帮助深入理解和掌握有关内容，以便巩固所学的知识。为了给读者提供学习和解题方法的指导，我们编写了这本书。