《离散数学/普通高等学校“十三五”规划教材》将离散数学的主要内容体系结构分为以下5个部分:数理逻辑(第1章命题逻辑和第2章谓词逻辑)、集合论(第3章集合和第4章二元关系与函数)、图论(第5章图论简介和第6章特殊的图类)、代数系统(第7章代数系统简介和第8章格与布尔代数)及组合论(第9章组合数学简介)。
全书内容丰富,条理清晰,层次分明,逻辑性强,阐述深入浅出。每章后配有适量难易程度不同的习题,并在书后给出了习题的参考答案。
《离散数学/普通高等学校“十三五”规划教材》适合作为普通高等学校计算机和软件工程及相关专业离散数学课程的本科生教材,也可供计算机科学工作者和科技人员阅读与参考。

**部分 数理逻辑
第1章 命题逻辑
1.1 命题与联结词
1.2 命题公式
1.3 命题公式的范式
1.4 联结词的功能完全集
1.5 推理规则和证明方法
总练习题1
第2章 谓词逻辑
2.1 谓词逻辑的基本概念
2.2 谓词逻辑公式
2.3 谓词演算的推理规则
总练习题2

第二部分 集合论
第3章 集合
3.1 集合的基本概念
3.2 集合的运算
3.3 归纳法与自然数
3.4 笛卡儿积
总练习题3
第4章 二元关系与函数
4.1 二元关系的基本概念
4.2 关系的合成
4.3 闭包
4.4 偏序关系
4.5 等价关���和划分
4.6 函数的基本概念
4.7 特殊函数类
4.8 逆函数
4.9 可数与不可数集合
4.10 集合基数的比较
总练习题4

第三部分 图论
第5章 图论简介
5.1 有向图及无向图
5.2 路径与回路
5.3 图的矩阵表示
总练习题5
第6章 特殊的图类
6.1 二部图
6.2 平面图
6.3 树与有向树
总练习题6

第四部分 代数系统
第7章 代数系统简介
7.1 代数结构概述
7.2 同态与同余关系、商代数
7.3 半群
7.4 群
7.5 环与域
总练习题7
第8章 格与布尔代数
8.1 格
8.2 特殊的格
8.3 布尔代数
总练习题8

第五部分 组合论
第9章 组合数学简介
9.1 排列和组合
9.2 重集的排列和组合
9.3 抽屉原理
9.4 容斥原理
9.5 生成函数
9.6 递归关系
总练习题9
参考答案
参考文献