本书从应用的角度介绍离散数学。本书共6章，分别是命题逻辑、谓词逻辑、集合与关系、代数结构、图和有向图。本书体系严谨，内容讲解深入浅出，并配有大量与计算机科学相关的有实际背景的例题和习题。每章最后提供上机练习，可提高学生的学习兴趣和动手能力。本书以二维码的形式提供了微课视频，有利于教师进行线上线下混合式教学，帮助学生更好地学习、理解和应用离散数学知识。