王 朝,程 凡

(安徽大学 计算机科学与技术学院,合肥 230601)

人工智能(Artificial Intelligence，AI)是计算机科学领域中涉及研究、开发用于模拟和扩展人的智能的理论、方法及应用系统的一门新兴科学[1]。当前，AI已成为国际公认的新一轮产业变革核心驱动力，正深刻改变着人类生产生活方式，推动经济结构调整和社会生产力不断进步，同时也不断推动教育行业的深度变革[2]。作为计算机学科的重要领域，AI发展需要相关人员具有扎实的计算机学科的专业基础知识[3]。离散数学作为计算机学科的核心基础课，其课程内容与AI相关理论有着密切联系，例如逻辑推理是AI发展最早期的理论基础之一[4]。将AI相关理论融入离散数学课程教学内容中，一方面可以激发学生对离散数学的学习兴趣和热情，另一方面也便于学生了解人工智能领域现状和发展，实现理论结合实际一体化教学[5]。同时，离散数学课程内容抽象晦涩、零散繁多，再加上课时数不足，线下课堂教学模式很难完成所有知识点的教学[6]。AI作为一种技术手段，能对离散数学传统教学模式进行改革，如钉钉用于管理学生出勤，大学MOOC平台能提供大量的精品课程供课前预习，雨课堂、学习通平台能全面跟踪学生学习进度、进行实时交流讨论、高效布置批改作业，从而大大提升教学效果。特别是新冠肺炎疫情期间，基于人工智能技术的线上教学模式发挥了重要作用。

孙登第等以理论教学为基础、以实践应用为主线对离散数学教学过程进行全面总结，倡导将教学体系、教学方法、教学内容和教学实践四个阶段紧密相联，逐层推进，形成针对信息安全专业的一套离散数学教学体系[6]。……