普通高校软件工程专业形式化理论与算法课程体系的建设与实践 - 第19届全国计算机新科技与计算机教育学术大会.pdf

9 0

2026-1-12 14:37 | 查看全部阅读模式

会议论文《普通高校软件工程专业形式化理论与算法课程体系的建设与实践》探讨了在软件工程专业中如何构建科学的形式化理论与算法课程体系。文章结合第19届全国计算机新科技与计算机教育学术大会的背景，提出了课程改革的思路与实践方法，旨在提升学生的逻辑思维与算法设计能力，推动计算机教育质量的提升。

文档为pdf格式，0.24MB，总共4页。