本书是在作者多年从事离散数学课教学实践并参考国内外多种教材的基础上编写而成的。主要内容有命题逻辑、谓词逻辑、集合、二元关系、函数、代数、群论、格与布尔代数、图论和特殊图等。各章都配有典型的例题，各节后还配有适量的习题，以便于读者理解和掌握所学的知识。

本书系统地介绍了离散数学基础知识。主要内容有命题逻辑、谓词逻辑、集合、二元关系、函数、代数、群论、格与布尔代数、图论和特殊图等。本书具有内容系统、概念清晰、证明严谨的特点，各部分相对独立而又相互联系，各章都配有典型的例题，各节后还配有适量的习题，以便于读者理解和掌握所学的知识。

本书可作为高等理工院校计算机软件和应用专业的本科、研究生教材，也可以供有关从事计算机工程的技术人员参考。

第1章 命题逻辑

第1节 命题

第2节 重言式

第3节 范式

第4节 推理规则和证明方法

第2章 谓词逻辑

第1节 谓词和量词

第2节 谓词演算的永真式

第3节 谓词演算的推理规则

第3章 集合

第1节 集合论的基本概念

第2节 集合上的运算

第3节 归纳法和自然数

第4节 集合的笛卡儿乘积

第4章 二元关系

第1节 基本概念

第2节 关系的合成运算

第3节 关系上的闭包运算

第4节 次序关系

第5节 等价关系和划分

第5章 函数

第1节 函数的基本概念

第2节 特殊函数类

第6章 代数

第1节 代数结构

第2节 子代数

第3节 同态

第4节 同余关系

第5节 商代数与积代数

第7章 群论

第1节 半群和独异点

第2节 群与子群

第3节 特殊群

第4节 环和域

第8章 格与布尔代数

第1节 格

第2节 格是代数系统

第3节 特殊格

第4节 布尔代数

第9章 图论

第1节 图的基本概念

第2节 路径和回路

第3节 图的矩阵表示

第10章 特殊图

第1节 二部图

第2节 平面图

第3节 树

第4节 有向树

参考文献