本书是与西安电子科技大学出版社2003年出版的《离散数学》教材(蔡英、刘均梅编著)相配套的学习指导书，也可单独使用。书中内容按照教材章节的先后顺序安排，每章均包括概述、例题选解和习题与解答三部分。另外，针对每篇还补充了部分习题，并提供了相应的参考解答。本书的目的是为读者开拓解题思路，提供解题方法和技巧，从而增强读者分析问题和解决问题的能力。
本书可作为一般高等院校计算机专业及相关专业本科生和专科生“离散数学”课程的教学参考书，也可作为考研人员的复习用书。

第一篇 数理逻辑
第一章 命题逻辑
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 习题与解答
第十章 几种典型图
10.1 概述
10.2 例题选解
10.3 习题与解答
补充题四
补充题四答案
参考文献