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