本书是“基于系统能力培养的计算机专业课程建设研究”项目规划教材之一。本书系统介绍了数理逻辑、集合论、图论和代数系统相关内容，以计算为认知模型，重点给出概念、运算及关系的计算表示，并用计算验证性质与定理。以逻辑为认知模型，给出概念、运算及关系的逻辑表示，并证明性质与定理，既注重概念、运算及关系的理解，又注重探究性质及定理的验证；既以Python作为认识离散数学知识的模型，同时，又以离散数学作为离散世界的模型，为复杂工程问题提供实际解决方法。
本书可作为计算机科学与技术、软件工程专业必修课教材，也可以作为其他信息相关专业离散数学教材。同时，本书可作为其他专业技术人员或学生的参考读物。
