离散数学中计算思维能力的培养.docVIP

离散数学中计算思维能力的培养 　　1计算思维 　　 　　2006年，卡内基梅隆大学计算机科学系主任周以真教授第一次提出了计算思维的概念[1].这种崭新的教育理念是近十年来最具有基础性、长期性的重要思想[2].周教授指出：“计算思维是运用计算机科学的基础概念去求解问题、设计系统和理解人类的行为[1].其本质是抽象（abstraction）和自动化（automation）。即按照计算机求解问题的基本方法去考虑问题的求解，以构建出相应的算法和基本程序。 　　 　　近年来，我国教育学者对培养学生的计算思维越来越重视，特别是针对计算机专业的人才培养，提出了新的人才培养方案及课程设置体系，以适应计算思维的培养模式。2010年，教育部发布了《高等学校计算机科学与技术专业人才专业能力构成与培养》，其中给出了计算思维的定义。定义中针对计算机专业人才的培养，将专业课程涉及的很多内容都归结到计算思维能力范畴，如问题的符号表示、问题求解过程的推理、逻辑思维与抽象思维、形式化证明、类计算和模型计算等。同时很多教育学者强调在计算机专业的必修课和选修课程中都应加强”计算思维“的培养。王亚东教授在报告《计算与计算思维》中对计算思维与计算专业课程之间的联系进行了分析，并阐述了计算思维对计算机专业人才培养所产生的影响。针对计算思维培养问题，Hambrusch等介绍了普渡大学开设计算思维导论课程的经验[3].