离散数学是现代数学的一个重要分支,是计算机和软件科学理论的基础。本书是针对“碎片化”教学和“翻转课堂”教学模式改革编写的新型教材,共包括4 部分内容:基础知识、逻辑、关系与函数、图与树。每部分都包含大量习题,扫描二维码可获取部分习题的参考答案。本书着重讲解离散数学的基本概念、基本方法及应用,内容精练、语言流畅、习题丰富,可作为高等院校计算机或软件工程专业不同方向、采用“翻转课堂”教学模式的“离散数学”课程师生教学使用,特别适合在学生自学及教学课时偏少(32~48 课时)的情况下使用,也可供其他专业学生和科技 人员阅读参考。
第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 真值表
2.6 命题公式的分类
2.7 自然语言的形式化
2.8 命题逻辑的等值演算
2.9 析取范式和合取范式
2.10 极小项与极大项
2.11 主范式
2.12 命题逻辑的推理
2.13 附加前提证明法
2.14 归谬法
2.15 命题逻辑推理的归结法
2.16 谓词
2.17 量词
2.18 谓词公式
2.19 辖域
2.20 解释
2.21 谓词公式的分类
2.22 自然语言的形式化
2.23 谓词逻辑的等值演算
2.24 前束范式
2.25 谓词逻辑的推理
第3章 关系与函数
3.1 有序对与笛卡儿积
3.2 二元关系
3.3 二元关系的表示
3.4 二元关系的定义域、值域和像集
3.5 关系的基本运算
3.6 关系运算的性质
3.7 关系的幂和道路
3.8 关系的性质
3.9 关系性质的判断
3.10 关系运算对性质的保持
3.11 关系的闭包
3.12 沃舍尔算法
3.13 集合的划分
3.14 等价关系、等价类和商集
3.15 由划分构造等价关系