数据结构课程中理论证明的不足及加强策略

列举数据结构课程不够重视理论证明的现象,如各种最小生成树、最优编码树、最短路径、排序稳定性等,强调如何运用数据结构实现相应的算法,针对手工演示和代码实现进行考核,导致学生仅仅学会固定方法,缺乏理论正确性的证明能力,进一步影响了学生的创新和迁移能力。分析上述现象的形成原因,指出相应的中长期危害性,提出指导思想和实际操作层面的改进策略。特别地,提出一种针对正确性质疑的启发式教学模式,从粗略到细致不断构造质疑,攻击算法正确性,从而引导学生而不是由教师给出证明过程,避免将学生当成数据操作的“工具人”和代码编写的“搬运工”,更有效地培养学生的基础理论能力和持续创新能力。