PAGE

PAGE2

2025离散数学课程中强化计算机专业思维训练的一些想法

引言：面向未来的离散数学教学转型必要性

随着信息技术的迅猛发展，特别是人工智能、大数据处理、区块链技术以及形式化验证系统的广泛应用，计算机科学对基础理论支撑的需求达到了前所未有的高度。在这一背景下，作为计算机专业核心基础课程之一的离散数学，其教学目标已不能仅仅停留在知识传授层面，而必须向更高阶的能力培养演进——尤其是对学生计算思维、逻辑推理能力、抽象建模能力和问题求解策略的系统性塑造。

当前高校中的离散数学课程普遍存在“重定义、轻应用”“重推导、轻构造”“重考试、轻实践”的倾向，导致学生虽然掌握了集合、关