离散数学是计算机类专业的重要专业基础课程，研究离散结构和相互关系的理论和方法，在专业教学的课程体系中具有重要的理论支撑作用。离散数学的综合、分析、推理等方法，在计算机科学的理论研究和技术开发中有着广泛的应用。本书系统介绍了离散数学的内容，全书共分11章，包括预备知识（矩阵和组合数学基础）、集合论、命题逻辑、谓词逻辑、关系、特殊关系、图论基础、特殊图、代数系统、群和环域格。本书内容简洁清晰，相关内容融合了算法和程序，问题分析和推理的注释使用了程序员熟悉的格式。 本书特别适合作为应用研究型和应用型高等学校计算机类相关专业“离散数学”课程的教材（48学时），也可作为相关工程技术人员的参考书。