形式化方法在高中算法教学中的应用研究

作     者：苏昭 薛锦云 杨晨 SU Zhao;XUE Jin-yun;YANG Chen

作者机构：江西师范大学省高性能计算技术重点实验室江西南昌330022 

出 版 物：《计算机与现代化》 (Computer and Modernization)

年 卷 期：2010年第7期

页      面：87-92页

学科分类：08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家自然科学基金资助项目(60773054) 科技部国际合作项目(2008DFA11940) 

主　　题：可信软件 形式化方法 PAR方法 

摘      要：国家教育部制定的高中新课程标准将算法初步作为高中数学课程的必修内容,算法与程序设计也首次纳入到选修课之列。全国大部分普通高中均按新课标开展教学实验,不少省份还把算法内容纳入高考。同时现有算法初步和算法与程序设计教材在介绍算法与算法设计方法时,无法说清楚算法设计的过程;在教学实践中,这一问题更加突出。这给高中生学习、理解及掌握算法和算法设计方法带来很大的困难。本文从新课程实验教材中及数学高考题中选取两个问题,用支持算法程序形式化开发的PAR(Partition And Recur)方法与PAR平台,从待求解问题的精确功能描述出发,经过一系列等价数学变换,最后得到正确的算法和程序。实践说明PAR方法与PAR平台可以在高中算法教学及学生能力评测中发挥建设性作用。