本教材适合学分较低的专业开设，特别是非主流计算机传统院校开设的离散数学，体现出够用，够学，不浪费学生的教材购买费，所编即所教。本教材配备了大量习题，题型多样化。

本书主要介绍了离散数学的基本内容和一些简单应用。全书共分5章,分别介绍命题逻辑、谓词逻辑、集合论、二元关系和图论。本书整体结构清晰,概念清楚,重点突出。为了方便学生理解、掌握所学知识,本书配有大量习题,分别以判断题、单项选择题、不定项选择题、解答题等形式呈现,题目通俗易懂,做题灵活,方便学生随堂测试。本书是江苏省教育科学“十三五”规划研究课题的专项成果。本书可作为本科院校计算机科学与技术、软件工程、医学信息学以及其他理工科专业的教材,也可供喜爱离散数学的有关人员阅读。

第1章命题逻辑
1.1命题与表示
1.2联结词
1.3命题公式与真值表示
1.4对偶与范式
1.5推理
1.6联结词功能集
1.7习题
第2章谓词逻辑
2.1谓词与命题函数
2.2谓词公式与翻译
2.3前束范式
2.4谓词推理
2.5习题
第3章集合论
3.1集合与表示
3.2集合运算
3.3集合的计数与划分
3.4集合的基数
3.5习题
第4章二元关系
4.1关系及其表示
4.2关系的性质
4.3关系的等价
4.4序关系
4.5函数
4.6习题
第5章图论
5.1图的概念
5.2路与回路
5.3图的矩阵形式
5.4欧拉图与哈密顿图
5.5平面图与着色
5.6无向树与生成树
5.7有向树与应用
5.8习题
附录习题解答
第1章命题逻辑
第2章谓词逻辑
第3章集合论
第4章二元关系
第5章图论