本书是普通高等教育“十一五”国家级规划教材。本书在原有基础上进行了更新，增加了一些典型的应用实例，并对例题和习题进行了补充。本书分为数理逻辑、集合论、代数结构、组合数学、图论、初等数论6个部分，既有严谨、系统的理论阐述，也有丰富的、面向计算机科学技术发展的应用实例，同时配有大量的典型例题与练习。各章内容按照模块化结构组织，可以适应不同的教学要求。本书配套有电子教案和学习指导与习题解析。
本书可以作为普通高等学校计算机科学与技术、软件工程、信息与计算科学等专业本科生离散数学课程教材，也可以供其他专业学生和科技人员参考。
