本书包括离散数学课程的标准内容：数理逻辑中的命题逻辑、一阶谓词逻辑、集合论、代数系统、图论等。特别是丰富了集合论的内容，将数学归纳法、计数以及组合论中的一些广泛应用的方法纳入集合论中。另外，书末附录中还讲述了离散数学在关系数据库中的应用。
本书力求做到简洁明了、易懂易学，注重理论与实际的结合，注意与后续课程的衔接.适合作为普通高等院校数学、计算机科学与技术等专业的本科生教材，也可供高职高专院校的师生参考使用。

第1章 集合论
1.1 集合的概念与运算
1.1.1 集合的概念
1.1.2 集合之间的关系
1.1.3 集合的运算
1.1.4 集合的运算性质
1.1.5 序偶与笛卡儿积
1.2 二元关系
1.2.1 二元关系及其表示
1.2.2 二元关系的运算
1.3 关系的性质
1.4 关系的闭包运算
1.5 序关系
1.6 等价关系
1.7 映射
1.8 数学归纳法
1.9 计数
1.9.1 帕斯卡三角形和二项式定理
1.9.2 鸽巢原理
1.9.3 乘法法则和加法法则
1.9.4 排列和组合
1.10 排列组合生成算法
1.11 离散概率简介
习题1
……