本教材在中国矿业大学2020版课程质量标准的指导下，结合专业需求和教学实际进行选材和编撰，教材由四部分组成：集合论、代数系统、数理逻辑和图论，共9章，依次为集合论基础、关系、函数、代数系统、群、命题逻辑、谓词逻辑、图的基本概念、常用图。本书包含较多针对性的例题，密切联系专业应用，强调抽象思维、计算思维和逻辑推理能力的培养。