为应对人工智能发展对计算机基础教育的深度影响，2025年12月6日，我校计算机学院网络工程系刘翠莲老师赴广东东莞，参加由中国计算机学会（CCF）主办，大湾区大学承办的“离散数学教学研讨会——人工智能时代的离散数学”。会议汇聚了来自国内几十所高校的离散数学课程负责人与骨干教师，共同研讨人工智能时代下离散数学课程的教学变革。

研讨会上，华南师范大学蒋运承教授团队发布的调研报告，揭示了当前课程普遍面临学时紧张、内容更新滞后等挑战。针对这些问题，多位专家分享了前沿思考与实践。北京大学王捍贫教授分享了建设“101离散数学”课程的具体实践，为课程改革提供了落地范本。大湾区大学徐志伟教授则分享了面向“贡献阶段”人才培养的课程设计理念，着重计算思维与创新能力塑造。哈尔滨工业大学姜守旭教授强调了回归教育本质，培养学生的抽象思维与创新意识。清华大学马昱春教授阐述了逻辑与集合论教学的核心在于实现思维范式的迁移，锚定了课程的根本价值。电子科技大学王庆先教授演示了其团队研发的AI教学平台，该平台通过智能批改、学情分析与个性化推荐，致力于破解教学与评价难题。南京大学蒋炎岩博士主张重构课程体系，强化形式化逻辑基础。上海交通大学曹钦翔博士介绍了利用Coq定理证明器进行教学，以提升学生形式化推理能力的探索。

本次研讨会通过多角度的经验交流与案例分享，为离散数学课程的改革提供了切实可行的思路，对推动计算机基础课程建设、夯实AI人才培养的理论根基具有重要意义。