本书系统地介绍了离散数学的理论与方法。全书共9章, 内容包括命题逻辑、谓词逻辑、集合、二元关系和函数、代数系统、图论导论、特殊的图、树及其应用以及组合数学基础。为了帮助学生对庞杂的知识点进行理解记忆, 本书在讲解知识点时配有丰富的、面向计算机科学技术发展的应用实例; 同时, 每一章都有典型例题解析, 详细分析了该例题中所用到的基本概念和基本原理, 为学生提供了解题思路和解题技巧; 考虑到离散数学是计算机专业的核心课程, 专门设置了和章节相关的上机实验, 供学生练习。 本书知识结构严谨, 证明推理严密, 可作为普通高等学校计算机科学与技术、软件工程、网络工程等专业本科生离散数学课程的教材, 也可供其他专业学生和科技人员参考。