武建春

(内蒙古师范大学计算机与信息工程学院，呼和浩特010022)



基于计算思维培养的离散数学课程教学研究

武建春

(内蒙古师范大学计算机与信息工程学院，呼和浩特010022)

计算思维是当前计算机教育中的研究热点.从计算思维的角度重新审视离散数学课程，梳理各部分内容所蕴含的计算思维基本方法，提出教学过程要以抽象和自动化为核心思想，增加实践教学内容，从而加强计算思维的培养.提出计算思维的培养应该在课程考核中有所体现.

计算思维; 离散数学; 教学; 抽象; 自动化

1 引 言

从2006年计算思维(computational thinking)概念[1]的提出，到如今计算思维的培养成为计算机专业的教育目标之一已经10年了.在这10年里，国内计算机教育工作者对计算思维培养的研究取得了一定成果，但尚未形成一套完整的方法体系，仍处于小规模、探索性阶段.如何在教学过程中培养计算思维，还有许多尚待探索的问题.本文从计算思维的角度梳理离散数学与计算思维之间的内在联系，重新组织教学内容，增加教学实践环节，探索研究离散数学教学中计算思维的培养.

2 计算思维

计算思维是运用计算机科学的思想与方法进行问题求解、系统设计、人类行为理解等涵盖计算机科学之广度的一系列思维活动[1].计算思维的本质是抽象(Abstraction)和自动化(Automation)[1].抽象的特征源自数学思维，但与数学的抽象化有不同的含义,其抽象化不仅表现为形式化表示，同时这种表示应具备有……