本书共分为5篇:集合论、图论、数理逻辑、代数结构及综合应用。集合论部分介绍了集合、关系、函数等;图论部分介绍了图的基本概念及特殊图;数理逻辑包括命题逻辑和谓词逻辑;代数系统介绍了群、环、域等;*后详细介绍了这四部分在计算机中的实际应用。本书在编写过程中,尽量将离散数学的各个部分有机地结合起来,力求条理清楚、深入浅出,通过该课程的学习,可使读者掌握**的离散数学知识,并提高其利用离散数学知识分析和解决实际问题的能力。
本书可作为高等院校计算机科学技术等相关专业的本科生和研究生的教学用书,也可作为计算机工程技术和研究人员学习离散数学的参考用书。

前言
第1篇 集合论
第1章 集合
1.1 集合的基本概念及性质
1.1.1 集合的基本概念
1.1.2 集合的表示形式
1.1.3 集合的基本性质
1.1.4 集合之间的关系
1.2 集合的运算
1.2.1 集合的交运算
1.2.2 集合的并运算
1.2.3 集合的补运算
1.2.4 集合的对称差运算
1.2.5 集合的广义交和广义并运算
1.3 有限集合的计数
1.3.1 鸽巢原理
1.3.2 包容排斥原理
1.4 集合的运算定律
思考与练习题
第2章 关系
2.1 笛卡尔积概念
2.1.1 序偶
2.1.2 笛卡尔积
2.2 二元关系及其表示方法
2.2.1 二元关系的定义
2.2.2 二元关系的表示方法
2.3 二元关系的运算
2.3.1 关系的基本运算
2.3.2 关系的复合运算
2.3.3 关系的幂运算
2.3.4 关系的逆运算
2.3.5 关系的限制和像
2.4 二元关系的性质
2.4.1 自反性与反自反性
2.4.2 对称性、反对称性、非对称性
2.4.3 传递性
2.4.4 关系性质的保持性
2.5 二元关系的闭包
2.5.1 关系闭包定义
2.5.2 关���闭包涉及的定理
2.5.3 关系闭包的求解方法总结
2.6 等价关系
2.6.1 等价关系定义
2.6.2 等价类与商集
2.6.3 等价类与划分
2.7 相容关系与覆盖
2.7.1 相容关系与覆盖的定义
2.7.2 *大相容类
2.8 序关系
2.8.1 偏序关系
2.8.2 全序关系与良序关系
2.8.3 拟序关系
思考与练习题
第3章 函数
3.1 函数的基本概念
3.1.1 函数的引入
3.1.2 函数的定义及特点
3.2 特殊函数
3.2.1 单射、满射与双射
3.2.2 常用函数
3.3 函数的运算
3.3.1 函数的复合运算
3.3.2 函数的逆运算
3.4 集合的基数
3.4.1 基数的定义
3.4.2 丁数集的定义及性质
3.4.3 集合基数的比较
思考与练习题
第2篇 图论
第4章 图的基本概念
第5章 特殊图
第6章 无向树
第7章 有向树
第3篇 数理逻辑
第8章 命题逻辑
第9章 谓词逻辑
第4篇 代数结构
第10章 群
第11章 环与理想
第12章 域
第5篇 综合应用
第13章 数理逻辑的应用实例
第14章 关系的应用实例
第15章 图论的应用实例
第16章 有限自动机与语言
参考文献