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

• 作者: 杨晨 苏昭 薛锦云
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 可信软件 形式化方法 PAR方法
• 年，卷（期）: 2010,（7）
• 页码范围: 87-92
• 分类号: TP301.2
• 字数: 4026字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2010.07.024

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	薛锦云	江西师范大学省高性能计算技术重点实验室	77	745	15.0	23.0
2	杨晨	江西师范大学省高性能计算技术重点实验室	7	8	2.0	2.0
3	苏昭	江西师范大学省高性能计算技术重点实验室	2	5	1.0	2.0