本书内容包含了离散数学四大分支的基础理论:数理逻辑、集合论、代数系统及图论。本书对命题逻辑、一阶逻辑、集合论、代数系统及图论的内容进行了优化，内容简洁易懂，逻辑性强，既注重离散数学内容本身，又注重与计算机专业的密切联系。全书基础与能力相结合，理论与实践相结合，结构合理、内容完善，取材详略得当，叙述清楚流畅，论证科学严谨,例题习题精选有很强针对性。因此，本书具有较好的科学性、应用性、工具性和易读性。通过本书的学习，不仅可以让计算机相关专业的学生为后继课程打下扎实的理论基础，而且也可以提升读者的数学素养。
     本书内容是按照教育部离散数学教学大纲要求，参考其他教材并结合编者多年教学实践经验编写而成的。本书适用于高等院校计算机相关专业本科生、专科生的离散数学教材和教学参考书。全书包含了大约可在80个学时内讲授的内容，读者也可以根据各自需要选讲可在48~64学时内讲授的内容。每节末编排了丰富的习题，由易到难层次分明。书后还配备了详细答案供读者参考。