本书涉及数理逻辑、集合论、代数结构和图论4篇。各篇既相对独立又有机联系，既强调基本理论的描述，又注重离散数学的证明方法和离散数学在计算机中的应用，可作为高等学校计算机科学与技术及相关专业的教材，也可供从事计算机工作的科技人员和工程技术人员参考。
本书系统地介绍了离散数学的主要内容，包括数理逻辑、集合论、代数结构和图论4篇。各篇既相对独立又有机联系，既强调基本理论的描述，又注重离散数学的证明方法和离散数学在计算机中的应用。
本书在第1版的基础上，增加了相当数量且难度不同的例题和习题，并结合教学和实际需要引入了部分新的内容和应用实例。
本书可作为高等学校计算机科学与技术及相关专业的教材，也可供从事计算机工作的科技人员和工程技术人员参考。