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

第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.3n元组与笛卡儿乘积
习题
第4章二元关系
4.1二元关系的概念
4.1.1基本定义
习题
4.2二元关系的基本特性
习题
4.3合成关系与逆关系
……
第5章映射
第6章图的基本概念
第7章树
第8章特殊图
第9章代数结构
第10章格与布尔代数
第11章组合与计数基础
部分习题答案及提示
参考文献

离散数学是计算机科学基础理论的核心学科。本书系作者根据多年的教学经验和教案修改整理而成。书中精选了大量实例,力求深入浅出地介绍与计算机科学密切相关的课题,既着重于各部分内容之间的紧密联系,又深入探讨概念、理论、算法和实际应用。各章节配有相当数量的习题,书后的提示和答案可为读者迅速掌握有关知识提供有效帮助。
本书可作为高等院校计算机和相关专业离散数学课程的教材,也可供有关技术人员学习参考。