基于函数式编程的计算机专业基础理论教学改革实践

作者：宋丽华; 张兴元; 王海涛

来源：计算机教育, 2021, (01): 133-141.

DOI：10.16512/j.cnki.jsjjy.2021.01.032

• 函数式编程
• 计算机专业基础理论教学改革
• 离散数学
• 编译原理

针对计算机专业基础理论课程教学手段相对陈旧、理论与实践教学存在明显"断点"的现实状况,分析基于函数式编程的基础理论教学优势,提出引入函数式编程作为验证实验环境、围绕函数式程序代码进行理论讲解的改革方案。基于这一思路介绍对离散数学和编译原理2门课程的系统性改造,最后说明实践效果。

• 单位
  南京审计大学金审学院; 中国人民解放军陆军工程大学