本书共8章，内容包括命题逻辑、谓词逻辑、集合、二元关系和函数、图、特殊图、代数系统基础和几个典型的代数系统。本书系统地介绍了离散数学中的基本概念、定理及证明方法，并详细阐述了各部分知识的应用实例，展示了离散数学在计算机科学及相关领域中的应用，还配备了大量具有针对性的习题，以帮助学生学习、理解和应用离散数学的相关理论。本书内容丰富，逻辑严密，条理清晰，可作为应用型本科院校计算机及相关专业的教材，也可作为相关工程技术人员的参考资料。

第1章命题逻辑
1.1命题和联结词
1.2命题公式和真值表
1.3等值演算
1.4范式
1.5命题逻辑的推理理论
习题1
第2章谓词逻辑
2.1谓词逻辑的基本概念
2.2谓词公式及其解释
2.3谓词逻辑的等值式与前束范式
2.4谓词逻辑的推理理论
习题2
第3章集合
3.1集合的基本概念
……