高等院校计算机教材系列：离散数学

　　第1章  命题逻辑
　　1.1  基本概念
　　1.1.1  命题
　　1.1.2  连接词
　　1.1.3  公式
　　1.1.4  重言式
　　习题
　　1.2  公式的等价关系
　　1.2.1  等价
　　1.2.2  等价代换
　　1.2.3  对偶性
　　习题
　　1.3  范式
　　1.3.1  范式
　　1.3.2  主析取范式
　　1.3.3  主合取范式
　　1.3.4  判定问题
　　习题
　　1.4  公式的蕴涵关系
　　1.4.1  蕴涵
　　1.4.2  论证
　　习题
　　1.5  连接词的完备集合
　　习题
　　1.6  半形式化推导方法
　　1.6.1  推理规则
　　1.6.2  推导举例
　　1.6.3  间接推导方法
　　习题
　　第2章  谓词逻辑
　　2.1  谓词与量词
　　习题
　　2.2  合式公式
　　2.2.1  公式
　　2.2.2  自由变元和约束变元
　　习题
　　2.3  谓词演算中的永真公式
　　2.3.1 基本概念
　　2.3.2  谓词演算的基本永真式
　　2.3.3  谓词演算的基本永真式表
　　2.3.4  前缀范式
　　习题
　　2.4  谓词演算中的半形式化推导
　　2.4.1  推理规则
　　2.4.2  推导举例
　　2.4.3  间接推导方法
　　习题
　　第3章  集合
　　3.1  集合的基本概念
　　3.1.1  集合与元素
　　3.1.2  集合间的关系
　　3.1.3  幂集
　　习题
　　3.2  集合的运算
　　3.2.1  集合的交与并
　　3.2.2  集合的差与补
　　3.2.3  集合的对称差
　　习题
　　3.3  n元组与笛卡儿乘积
　　习题
　　第4章  二元关系
　　4.1  二元关系的概念
　　4.1.1  基本定义
　　习题
　　4.2  二元关系的基本特性
　　习题
　　4.3  合成关系与逆关系
　　……
　　第5章  映射
　　第6章  图的基本概念
　　第7章  树
　　第8章  特殊图
　　第9章  代数结构
　　第10章  格与布尔代数
　　第11章  组合与计数基础
　　部分习题答案及提示
　　参考文献

　　    本书系作者根据多年的教学经验和教案个性整理而成。全书共分11章，第1、2章为数理逻辑部分，第3至5章及第11章为集合论部分，第6至8章为图论部分，第9及10章为代数系统部分。书中精选了大量实例，力求深入浅出地介绍与计算机科学密切相关的课程，既着重于各种分内容之间的紧密联系，又深入探讨概念、理论、算法和实际应用。各章节配备的习题与书后的提示和答案为读者迅速掌握有关知识提供有效帮助。‘