本书系统地介绍了各种离散的数学结构，其中包括集合论、代数系统、图论及数理逻辑的基本内容。本书以证明方法和证明过程为重点，以关系的理念贯穿全书。在编写过程中力求内容精练、重点突出、深入浅出，有助于读者自我学习。书中内容可满足计算机专业后继课程的需要。 本书可作为计算机软件专业、计算机通信专业、计算机制造专业和各类相关信息专业的本科生“离散数学”课程的教科书及教学参考书，同时也可供有关考研人员和自考人员学习和参考。