离散数学

　　第1篇 数理逻辑
　　第1章 数理逻辑
　　 1.1 命题及命题联结词
　　 1.1.1命题
　　 1.1.2 命题联结词
　　 1.1.3 命题的符号化
　　 1.2 命题公式及命题公式之间的逻辑关系
　　 1.2.1 命题公式的定义
　　 1.2.2 公式的解释
　　 1.2.3 真值表
　　 1.2.4 公式的分类
　　 1.2.5 公式之间的逻辑关系
　　 1.3 谓词与量词
　　 1.3.1 个体
　　 1.3.2 谓词
　　 1.3.3 量词
　　 1.3.4 命题的符号化
　　 1.4 谓词公式及谓词公式之间的逻辑关系
　　 1.4.1 谓词逻辑中的合法符号
　　 1.4.2 项
　　 1.4.3 谓词公式
　　 1.4.4 有关谓词公式的概念
　　 1.4.5 谓词公式的解释
　　 1.4.6 谓词公式的分类
　　 1.4.7 谓词公式之间的逻辑关系
　　 1.5 范式
　　 1.5.1 主析（合）取范式
　　 1.5.2 前束范式
　　 1.6 数理逻辑推理理论
　　 1.6.1 命题逻辑推理理论
　　 1.6.2 谓词逻辑推理理论
　　 *1.7 命题逻辑推理系统N
　　 1.7.1 什么是形式系统
　　 1.7.2 命题逻辑推理系统N
　　 1.7.3 N中的一些基本定理
　　 *1.8 谓词逻辑推理系统NL
　　 1.8.1 NL的构造
　　 1.8.2 NL中的形式证明
　　 1.8.3 NL中的一些基本定理
　　 小结
　　 习题一
　　 习题二
　　*第2章 非经典逻辑介绍
　　 2.1 模态逻辑
　　 2.1.1 模态
　　 2.1.2 模态命题的形式化
　　 2.1.3 模态命题形式之间的逻辑关系
　　 2.2 多值逻辑
　　 2.2.1 卢卡西维茨的多值逻辑系统
　　 2.2.2 另外一些多值逻辑系统
　　
　　 2.3 非单调逻辑
　　 2.4 模糊逻辑
　　 2.5 道义逻辑
　　 2.5.1 道义逻辑系统
　　 2.5.2 道义逻辑的等值式与蕴含式
　　 小结
　　 习题一
　　 第2篇 关系
　　第3章 集合基础
　　第4章 关系
　　第5章 函数
　　 第3篇 图论
　　第6章 图论中的基本概念
　　第7章 特殊图
　　 第4篇 代数系统
　　第8章 代数系统
　　第9章 几个特殊的代数系统
　　第10章 排列与组合
　　第11章 鸽巢原理
　　附录 各章习题二答案
　　参考文献