本书系统地介绍了离散数学中的基本概念、定理及证明方法，并详细阐述了各部分知识的应用实例，展示了离散数学在计算机科学及相关领域应用，还配备了大量具有针对性的习题，以帮助学生学习、理解和应用离散数学的相关理论。本书共8章，内容包括命题逻辑、谓词逻辑、集合、二元关系和函数、图、特殊图、代数系统基础和几个典型的代数系统。