离散数学：中等专业学校教材

第一章 集合
1-1 集合与元素
1-2 集合的包含与相等
1-3 幂集
1-4 集合运算
1-5 笛卡尔积
小结
第二章 二元关系
2-1 二元关系及其表示
2-2 关系的性质
2-3 关系的运算
2-4 等价关系和相容关系
2-5 偏序关系
小结
第三章 函数
3-1 函数
3-2 复合函数
3-3 置换
3-4 数学归纳法
3-5 特征函数与模糊集合
小结
第四章 代数结构简介
4-1 代数结构
4-2 半群和群
4-3 子群与环
4-4 同态和同构
小结
第五章 格和布尔代数
5-1 格和布尔代数
5-2 格的定义
5-3 格的性质与特殊格
5-4 布尔代数简介
小结
第六章 命题逻辑
6-1 命题
6-2 命题公式及翻译
6-3 命题定律
6-4 基本联结词和蕴含关系
6-5 范式
6-6 命题演算的推理论
小结
第七章 谓词演算
7-1 谓词和量词
7-2 谓词公式
7-3 谓词演算的等价与蕴含式
7-4 谓词演算的推理理论
小结
第八章 图论初步
8-1 图的基本概念
8-2 路与回路
8-3 邻接矩阵和关联矩阵
8-4 欧拉图
8-5 哈密尔顿图
8-6 平面图及偶图
8-7 对偶图与图的着色
8-8 树
小结
参考文献