本书从应用的角度介绍离散数学。  全书共分7章，分别是：命题逻辑、谓词逻辑、集合与关系、群环域、格与布尔代数、图论和有向图。全书体系严谨、叙述深入浅出，并配有大量与计算机科学相关的有实际背景的例题和习题。特别是在每章后面增加了上机作业，可增强学生对课堂教学内容的理解和掌握，提高学生的学习兴趣和动手能力。这对于学生学习、理解和应用离散数学理论有很大的帮助。  本书可作为普通高等学校计算机科学与技术或相关专业的本科生教材。