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