本书对计算机类专业本科生最需要学习的离散数学基础知识进行了系统介绍，力求概念清晰，注重实际应用。全书共分7章，内容包括命题逻辑、谓词逻辑、集合论、关系、图、树和代数结构，并含有较多的与计算机类专业有关的例题、习题和实验题。本书在内容的组织上，力求在培养学生抽象思维和逻辑推理能力的同时，注重展现离散数学在计算机类专业和信息科学中的应用。本书叙述简洁、深入浅出、注重实践和应用，主要面向普通高等院校计算机类专业的本科学生，也可以作为非计算机类专业学生的选修教材和计算机应用技术人员的自学参考书。