本书共8章，以数理逻辑为基础，介绍命题逻辑、谓词逻辑、集合论基础、关系、函数、运算与代数系统、图和初等数论基础的相关内容，配套微课视频、电子课件、知识导图、部分习题解答等。
本书内容不求大求全，根据工程教育的要求，着重介绍有应用价值的理论，避免理论上的缠绕，内容讲解通俗明了，同时还增加了相当数量的工程应用方面的简介，使学习者能够快速了解这些理论的实际工程用途。本书可作为高等学校计算机科学与技术、软件工程、信息与计算科学以及其他信息领域相关专业离散数学课程的教材，也可供相关领域读者自学使用。

第1章 命题逻辑
1.1 命题
思考与练习1.1
1.2 逻辑联结词
1.2.1 基本联结词
1.2.2 其他联结词
思考与练习1.2
1.3 命题公式与真值表
1.3.1 命题公式
1.3.2 真值表
思考与练习1.3
1.4 命题翻译
1.4.1 命题的合取
1.4.2 命题的析取
1.4.3 条件句复合命题
1.4.4 多联结词构成的复合命题
思考与练习1.4
1.5 命题公式的分类与逻辑等价
1.5.1 命题公式的分类
1.5.2 命题公式等价
1.5.3 联结词的功能完备集
1.5.4 对偶原理
思考与练习1.5
1.6 范式
1.6.1 简单的范式
1.6.2 小项与大项
1.6.3 主析取范式与主合取范式
思考与练习1.6
1.7 推理理论
1.7.1 蕴含与论证
1.7.2 自然推理系统
思考与练习1.7
第2章 谓词逻辑
2.1 谓词、个体词与量词
2.1.1 个体词和谓词
2.1.2 量词与量化
思考与练习2.1
2.2 谓词逻辑的命题翻译
2.2.1 特殊化个体词的命题
2.2.2 量词量化的命题
思考与练习2.2
2.3 量词约束与谓词公式的解释
2.3.1 量词对个体词变元的作用
2.3.2 谓词公式的解释与求值
2.3.3 量词与联结词的搭配
思考与练习2.3
2.4 谓词公式的等价和蕴含
2.4.1 基本等价与蕴含关系
2.4.2 利用等价关系计算前束范式
思考与练习2.4
2.5 谓词逻辑的推理理论
2.5.1 推理定律
2.5.2 量词的消除与产生规则
2.5.3 谓词逻辑的自然推理示例
思考与练习2.5
2.6 *数学证明初步
2.6.1 数学论题的描述
2.6.2 证明方法
2.6.3 证明策略
思考与练习2.6
第3章 集合论基础
3.1 集合的概念和表示方法
3.1.1 集合描述
3.1.2 集合的包含与相等
3.1.3 空集和全集
3.1.4 集合的幂集
思考与练习3.1
3.2 集合运算
3.2.1 基本运算
3.2.2 多集合的交与并
思考与练习3.
3.3 集合运算的性质
3.3.1 集合算律与恒等变换
3.3.2 基于定义的运算性质验证
思考与练习3.3
3.4 集合划分和计数
3.4.1 集合的划分与覆盖
3.4.2 *集合计数的容斥原理
思考与练习3.4
3.5 序偶与笛卡儿积
3.5.1 序偶和元组
3.5.2 笛卡儿积
思考与练习3.5
第4章 关系
4.1 二元关系的含义与表示
4.1.1 二元关系
4.1.2 关系的矩阵和图表示法
思考与练习4.1
4.2 关系运算
4.2.1 关系的逆与复合
4.2.2 关系运算的性质
4.2.3 关系运算的图和矩阵实现
4.2.4 关系的幂
思考与练习4.2
4.3 关系的性质
4.3.1 自反与反自反关系
4.3.2 对称与反对称关系
4.3.3 传递关系
4.3.4 关系性质的等价描述与判定
思考与练习4.3
4.4 关系的闭包
4.4.1 闭包的概念
4.4.2 闭包计算
思考与练习4.4
4.5 等价关系
4.5.1 等价与相容
4.5.2 等价类
4.5.3 划分与等价关系的对应
思考与练习4.5
4.6 序关系
4.6.1 体现部分序的偏序关系
4.6.2 哈斯图
4.6.3 链与全序关系
4.6.4 偏序集的特殊元素
思考与练习4.6
第5章 函数
5.1 从关系到函数
5.1.1 函数的概念
5.1.2 函数集
5.1.3 函数的性质与特殊函数
思考与练习5.1
5.2 函数的逆与复合
5.2.1 双射的反函数
5.2.2 函数复合
5.2.3 函数运算的性质
思考与练习5.2
5.3 集合的基数
5.3.1 集合等势
5.3.2 有限集与无限集
5.3.3 可数集与不可数集
5.3.4 基数比较
思考与练习5.3
第6章 运算与代数系统
6.1 运算及其性质
6.1.1 运算的概念
6.1.2 二元运算的性质
思考与练习6.1
6.2 二元运算中的特殊元素
6.2.1 幺元
6.2.2 零元
6.2.3 逆元
思考与练习6.2
6.3 代数系统
6.3.1 代数与子代数
6.3.2 同态与同构
思考与练习6.3
6.4 半群与独异点
思考与练习6.4
6.5 群与子群
6.5.1 群的概念
6.5.2 群的性质
6.5.3 子群
思考与练习6.5
6.6 循环群与置换群
6.6.1 循环群
6.6.2 置换群
思考与练习6.6
6.7 群的陪集分解
6.7.1 陪集
6.7.2 拉格朗日定理
思考与练习6.7
6.8 环和域
6.8.1 环与整环
6.8.2 域
思考与练习6.8
6.9 格
6.9.1 格与其诱导的代数系统
6.9.2 子格
6.9.3 几种特殊格
思考与练习6.9
6.10 布尔代数
6.10.1 布尔代数的定义
6.10.2 二值布尔代数
思考与练习6.10
第7章 图
7.1 图的基本概念
7.1.1 图及其组成
7.1.2 结点的度与握手定理
7.1.3 完全图