离散数学与算法

　　前言
　　第1章 命题逻辑
　　 第1节 命题和命题联结词
　　 习题1
　　 第2节 合式公式
　　 习题2
　　 第3节 逻辑等价演算
　　 习题3
　　 第4节 对偶
　　 习题4
　　 第5节 范式和判定问题
　　 习题5
　　 第6节 推理理论
　　 习题6
　　 第7节 命题逻辑的相关算法
　　第2章 谓词逻辑
　　 第1节 谓词演算
　　 习题1
　　 第2节 谓词逻辑中的等值和蕴涵
　　 习题2
　　 第3节 谓词逻辑中的推理理论
　　 习题3
　　 第4节 谓词逻辑的相关算法
　　第3章 集合的基本概念和运算
　　 第1节 集合的基本概念
　　 习题1
　　 第2节 集合的运算
　　 习题2
　　 第3节 集合的划分与覆盖
　　 习题3
　　 第4节 集合的相关算法
　　第4章 关系
　　 第1节 序偶和笛卡尔积
　　 习题1
　　 第2节 关系及其表示
　　 习题2
　　 第3节 关系的性质
　　 习题3
　　 第4节 关系的运算
　　 习题4
　　 第5节 几类重要的二元关系
　　 习题5
　　 第6节 关系的相关算法
　　第5章 函数
　　 第1节 函数
　　 习题1
　　 第2节 函数运算
　　 习题2
　　 第3节 基数
　　 习题3
　　第6章 代数系统的一般概念
　　 第1节 二元运算
　　 习题1
　　 第2节 二元运算的性质
　　 习题2
　　第7章 代数系统
　　 第1节 置换
　　 习题1
　　 第2节 半群
　　 习题2
　　 第3节 群
　　 习题3
　　 第4节 陪集
　　 习题4
　　 第5节 正规子群和拉格朗日定理
　　 习题5
　　 第6节 代数系统的相关算法
　　第8章 环、域、格和布尔代数
　　 第1节 环和域
　　 习题1
　　 第2节 格
　　 习题2
　　 第3节 布尔代数
　　 习题3
　　第9章 图的基本理论
　　 第1节 图的基本概念
　　 习题1
　　 第2节 图的连通性
　　 习题2
　　 第3节 图的矩阵表示
　　 习题3
　　 第4节 图的应用
　　 习题4
　　 第5节 特殊的图
　　 习题5
　　 第6节 图的着色
　　 习题6
　　 第7节 图的相关算法
　　第10章 树
　　 第1节 树的概念
　　 习题1
　　 第2节 生成树
　　 习题2
　　 第3节 根树及其应用
　　 习题3
　　 第4节 二叉树
　　 习题4
　　 第5节 树的相关算法
　　参考文献