离散数学

　　 上册
　　 第一篇 集合论
　　第一章 集合
　　 第一节 集合的概念及表示
　　 第二节 集合的运算
　　 第三节 序偶与笛卡尔积
　　第二章 关系
　　 第一节 关系的概念
　　 第二节 复合关系
　　 第三节 逆关系
　　 第四节 关系的性质
　　 第五节 关系的闭包运算
　　 第六节 相容关系
　　 第七节 等价关系
　　 第八节 序关系
　　第三章 映射和函数
　　 第一节 函数与映射
　　 第二节 复合映射和逆映射
　　 第三节 基数的概念
　　 第四节 可数集与不可数集
　　 第五节 基数的比较
　　 第二篇 图论
　　第四章 图论
　　 第一节 图的基本概念
　　 第二节 路与回路
　　 第三节 树
　　 第四节 图的遍历
　　 第五节 平面图
　　 第六节 有向图
　　 第三篇代数系统
　　第五章 代数结构
　　 第一节 运算
　　 第二节 代数系统的概念及性质
　　 第三节 半群和独异点
　　 第四节 群与子群
　　 第五节 陪集与拉格朗日定理
　　 第六节 同态与同构
　　 第七节 环
　　第六章 格与布尔代数
　　 第一节 格的概念
　　 第二节 有余格与分配格
　　 第三节 布尔代数
　　 第四篇 数理逻辑
　　第七章 命题逻辑
　　 第一节 命题及其表示法
　　 第二节 联结词
　　 第三节 命题公式
　　 第四节 命题演算的等价式与蕴含式
　　 第五节 范式
　　 第六节 推理理论
　　第八章 谓词逻辑
　　 第一节 谓词与量词
　　 第二节 谓词公式与翻译
　　 第三节 自由变元和约束变元
　　 第四节 谓词演算的等价式与蕴含式
　　 第五节 谓词演算的推理理论
　　附录 矩阵及其计算
　　 附—1 矩阵及运算
　　 附—2 分块矩阵
　　参考文献
　　 下册
　　 第一篇 集合论
　　第一章 集合
　　 一、内容提要
　　 二、习题与解
　　第二章 关系
　　 一、内容提要
　　 二、习题与解
　　第三章 映射和函数
　　 一、内容提要
　　 二、习题与解
　　自测题及答案（第一篇）
　　 第二篇 图论
　　第四章 图论
　　 一、内容提要
　　 二、习题与解
　　自测题及答案（第二篇）
　　 第三篇 代数系统
　　第五章 代数结构
　　 一、内容提要
　　 二、习题与解
　　第六章 格与布尔代数
　　 一、内容提要
　　 二、习题与解
　　自测题及答案（第三篇）
　　 第四篇 数理逻辑
　　第七章 命题逻辑
　　 一、内容提要
　　 二、习题与解
　　第八章 谓词逻辑
　　 一、内容提要
　　 二、习题与解
　　自测题及答案（第四篇）
　　参考文献