《离散数学》是高等教育工科数学系列教材之一，全书共五篇．主要内容包括集合论、整数论、代数结构论、数理逻辑论和图论．全书主要内容包括关系与映射、集合的势、整除与剩余类、群、环与域、格与布尔代数、命题逻辑、谓词逻辑、图论基础和几种特殊的图等十章．每节均配有习题，书末附有名词索引．
本教材内容由浅入深，结构紧凑合理，有条不紊，可读性很强．具有很强的科学性和教学适用性，可作为数学类及计算机类专业离散数学课程的教材或参考书，也可供其他工程技术人员自学参考．
- 第一篇 集 合 论
- 第一章 关系与映射
- 第一节 关系的概念
- 第二节 关系的运算
- 第三节 集合的等价关系与分类
- 第四节 偏序关系
- 第五节 映射
- 第二章 集合的势
- 第二篇 整 数 论
- 第三章 整除与剩余类
- 第一节 整除
- 第二节 最大公因数
- 第三节 最小公倍数
- 第四节 质数
- 第五节 剩余类的运算
- 第三篇 代数结构论
- 第四章 群
- 第一节 置换的运算
- 第二节 半群
- 第三节 群的概念与例
- 第四节 子群
- 第五节 正规子群、群的同态与同构
- 第五章 环与域
- 第六章 格与布尔代数
- 第一节 格
- 第二节 格的性质
- 第三节 几种特殊的格
- 第四节 布尔代数
- 第四篇 数理逻辑论
- 第七章 命题逻辑
- 第一节 命题及联结词
- 第二节 命题公式及其符号化
- 第三节 命题公式的分类与等价
- 第四节 全功能联结词集
- 第五节 对偶
- 第六节 范式
- 第七节 命题演算的推理理论
- 第八章 谓词逻辑
- 第一节 谓词逻辑的基本概念
- 第二节 谓词公式及其分类
- 第三节 谓词演算的永真式
- 第四节 前束范式
- 第五节 谓词演算的推理理论
- 第五篇 图论
- 第九章 图论基础
- 第一节 图的基本概念
- 第二节 路径、回路及连通图
- 第三节 图的矩阵表示
- 第十章 几种特殊的图
- 第一节 欧拉图
- 第二节 哈密顿图
- 第三节 二部图
- 第四节 平面图
- 第五节 无向树
- 第六节 有向树
- 索引
- 参考文献
