“离散数学”是现代数学的一个重要分支,也是计算机科学与技术、电子信息技术、生物技术等专业的理论基础。本书由六部分组成,首先将离散数学的体系结构分为以下五个主要部分:数理逻辑、集合与关系、数论与组合论、图论、代数结构,第六部分介绍离散数学在计算机科学中的一些典型应用。
本书在每章后面配备了相当数量的难易程度不同的练习题,并在附录中给出了几套模拟试题,供读者进行自测。
本书内容丰富,条理清晰,层次分明,逻辑性强,阐述深入浅出,适合作为高?院校计算机和软件工程专业及相关专业离散数学课程的本科生教材,也可供计算机科学工作者和科技人员阅读与参考。

前言
**部分 数理逻辑
第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 谓词逻辑的推��方法
习题二
第二部分 集合与关系
第3章 集合代数
3.1 集合的基本概念
3.2 集合的运算
3.3 幂集和笛卡儿集
习题三
第4章 二元关系
4.1 二元关系及其表示
4.2 关系的性质
4.3 关系的运算
4.4 关系的闭包
习题四
第5章 特殊关系
5.1 等价关系
5.2 偏序关系
5.3 全序集与良序集
习题五
第6章 函数
6.1 函数的定义与性质
6.2 单射、满射和双射
6.3 函数的复合与逆函数
6.4 集合的基数、可数集和不可数集
习题六
第三部分 数论与组合论
第7章 初等数论
7.1 整数集合
7.2 商和余数
7.3 整除和素因子分解
7.4 *大公因子
7.5 数学归纳法
习题七
第8章 基本计数方法
8.1 排列计数
8.2 组合计数
8.3 组合恒等式
8.4 容斥原理
8.5 鸽巢原理
习题八
第9章 生成函数和递推关系
9.1 序列与生成函数
9.2 组合问题的生成函数
9.3 递推关系式及其解
9.4 递推关系式的生成函数求解 …… 第四部分 图论 第五部分 代数结构 第六部分 应用 附录 离散数学模拟试题 参考文献