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