本教材在中国矿业大学2020版课程质量标准的指导下，结合专业需求和教学实际进行选材和编撰，教材经过多次数学活动检验和广大师生的反馈，内容日趋完善。教材由四部分组成：集合论、代数系统、数理逻辑和图论，共9章，依次为集合论基础、关系、函数、代数系统、群、命题逻辑、谓词逻辑、图的基本概念、常用图。本书包含较多针对性的例题和足量的课后习题，密切联系专业实际应用，强调抽象思维、计算思维和逻辑推理能力的培养。本教材适合作为高等学校计算机及相关专业本科生离散数学课程教材，也可供相关工程技术人员参阅。