离散数学 第二版
作 者： 谢美萍，陈媛 著
出版时间：2014
丛编项： 21世纪高等学校规划教材·计算机科学与技术
内容简介
《离散数学（第2版）》，本书共分成7章，分别阐述了集合、关系、函数、命题逻辑、一阶谓词逻辑、图与特殊图。本书体系严谨、结构合理、概念论述清楚、讲解详实，着重于概念的应用，书中配有大量的例题，帮助学生由浅入深的理解与掌握概念，并附有适当的习题。
目录
第1章 集合的基本概念
1.1 集合
1.1.1 集合的概念
1.1.2 集合的特性
1.1.3 集合的表示方法
1.2 集合间的关系
1.2.1 包含关系
1.2.2 相等关系
1.2.3 特殊集合
1.3 集合的运算
1.3.1 集合的基本运算
1.3.2 有限集合的计数
1.4 幂集和编码
1.4.1 幂集
1.4.2 幂集元素与编码
1.5 集合恒等式证明
1.5.1 基本定义法
1.5.2 公式法
1.5.3 集合成员表法
习题1
第2章 关系
2.1 关系的基本概念
2.2 关系的表示方法
2.3 关系的运算
2.4 关系的性质
2.4.1 关系的性质
2.4.2 关系性质的证明
2.5 关系的闭包
2.6 等价关系与划分
2.6.1 等价关系
2.6.2 集合的划分
2.6.3 划分与等价关系
2.7 偏序关系
2.7.1 偏序的定义及表示
2.7.2 偏序集中的特殊元素
2.7.3 全序集与良序集
习题2
第3章 函数
3.1 函数的基本概念
3.2 特殊函数
3.3 复合函数与逆函数
3.3.1 复合函数
3.3.2 逆函数
习题3
第4章 命题逻辑
4.1 命题与命题联结词
4.1.1 命题与真值
4.1.2 命题联结词
4.2 命题公式与真值表
4.3 命题公式的等价关系和蕴涵关系
4.3.1 命题公式的等价关系
4.3.2 命题公式的蕴涵关系
4.4 命题公式的范式表示
4.4.1 析取范式与合取范式
4.4.2 主范式
4.4.3 主范式的应用
4.5 命题演算的推理理论
4.5.1 推理形式
4.5.2 推理规则
习题4
第5章 一阶谓词逻辑
5.1 一阶逻辑基本概念
5.1.1 谓词、个体词和个体域
5.1.2 量词
5.1.3 换名规则与代入规则
5.2 谓词公式及其解释
5.2.1 谓词公式的定义
……
第6章 图
第7章 特殊图
