本书全面而系统地介绍了离散数学的经典理论和方法。内容共分为集合论、代数系统、图论、数理逻辑四篇。第一篇包括集合、关系、函数与无限集合；第二篇包括代数系统、几类典型的代数系统、格与布尔代数；第三篇包括图论基础、树；第四篇包括命题逻辑、谓词逻辑。各篇相对独立而又有机联系，证明力求严格完整。全书取材广泛，内容深入浅出，叙述简洁，实例突出，便于学习。每章配有大量与计算机科学相关的有实际背景的例题与习题，便于学生对教学内容的理解和掌握。本书还附有配套的电子教案PPT，有需要的读者可扫描每章末的二维码进行阅读和使用。