本书系统地介绍了集合论、数理逻辑、图论和代数结构等离散数学的基本知识,在内容安排上突出由浅入深、循序渐进、通俗易懂的特点,非常适合普通高等院校计算机及相关专业的本科生作为教材使用,也可供一般科技人员作为参考书。

前言
第1章 预备知识
1.1 集合的初步知识
1.2 集合的关系与运算
1.3 有限集合中元素的计数
1.4 整数的基本性质
1.5 例题解析
复习题1
第2章 命题逻辑
2.1 命题与命题联结词
2.2 命题公式及其分类
2.3 等价演算
2.4 其他常用联结词及功能完备集
2.5 对偶与范式
2.6 推理理论
2.7 命题逻辑在门电路中的应用介绍
2.8 例题解析
复习题2
第3章 谓词逻辑
3.1 谓词逻辑的基本概念
3.2 谓词全成公式及解释
3.3 谓词逻辑等值式
3.4 谓词逻辑推理理论
3.5 例题解题
复习题3
第4章 关系
4.1 有序对与笛卡尔各
4.2 关系及其表示
4.3 复合关系与逆关系
4.4 关系的性质
4.5 关系的闭包
4.6 等价关系
4.7 相容关系
4.8 偏序关系
4.9 例题解析
复习题4
第5章 函数
第6章 图论基础
第7章 特殊图类
第8章 代数系统
第9章 特殊的代数系统
第10章 格和布尔代数
参考文献