团队简介
离散数学（信息类）团队课程负责人马殿富教授专注于离散数学课程教学20年，组建了一支教学名师带队、国家级人才主讲、多学科交叉的课程团队。组织并参编的《离散数学》教材，入选2006年普通高等教育“十一五”国家级规划教材。获得了国家教学成果一等奖、二等奖，荣获2020年北京市教学名师、2019年中国计算机学会杰出教育奖。团队其他主要成员入选微软青年教师“铸星计划”，团队开发了离散数学智慧教学平台，实现了基于大数据分析的教学全过程追踪与动态评估方法。
课程介绍
离散数学（信息类）课程是计算机类专业基础理论课程。如何将理论知识与复杂工程问题结合起来，是其长期的教学挑战。本课程在国内首次提出“以计算认知重构离散数学”改革方案。（1）形成了计算认知式教学模式。针对“高阶性”，创新性提出了以计算认知式教学模式，通过将计算方法、程序验证工具融合理论教学，通过计算实现定理验证，使得传统“纸笔推导小规模示意问题”转变为“程序演算大规模实际问题”，不仅使学生对理论知识的理解和掌握变得具体可操作，同时拓广拓深了学生对基础理论知识的理解，增强了学生解决复杂问题建模的综合能力和高级思维。
（2）研发了学习动态追踪与全过程评价的离散数学智慧教学平台。针对 “创新性”，通过图谱制导的知识组网教学方法，辅助学生形成了知识体系的全局视图，借助教学平台建立了随时随地教与学的双向互动，实现了全周期教学过程的动态追踪与细粒度评价。
（3）构建了以国家重大工程为应用背景的教学实践体系：针对“挑战度”，面向航空航天、智能交通、工业互联网等领域，建立了一批典型教学案例和实践环境，使学生掌握了应用离散理论知识对实际问题进行建模的方法，培养了学生解决复杂工程问题的实践能力和创新意识。
