赵福生，刘力

（沈阳师范大学教师教育学院，沈阳 110034）

0 引言

形式化是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式（主要是命题和推理）加以比较，找出其中各个部分相互联结的方式[1]。现实中的问题可以抽象为一个数学问题或一个形式化问题[2]。计算思维作为核心素养在教育部《普通高中信息技术课程标准（2017年版）》提出后，引起了普遍重视，继理论探讨之后，计算思维的实践应用成为一个热点。作为计算思维培养主要阵地的“算法与程序实现”部分，实施效果难以令人满意。因此，本研究采用内容分析法分析谷歌计算思维课程并与国内课程内容进行对比，认为计算思维培养的策略应以数学类问题为引入，以数学+形式化问题为过渡，以形式化问题为重点，结合恰当的教学设计，才能达到发展学生计算思维的目的。

1 培养计算思维的六类问题

2006年周以真教授提出计算思维概念后，2010年她又指出计算思维是与形式化问题及其解决方案相关的思维过程[3]。计算思维的核心是抽象和自动化，那么什么是形式化问题的抽象呢？研究认为，它抽象的不是事物的因果关系，而是问题的计算过程，利用计算机强大的计算力去自动完成，是一种基于计算机的思维方式。本研究将问题从6个方面进行分类，力争凸显计算思维的本质及内涵。第一类问题属于数学类，第二类问题属于数学+形式化类，其余为形式化类问题。

（1）枚举类问题。……