| 形式化方法在高中算法教学中的应用研究 |
| |
| 引用本文： | 苏昭,薛锦云,杨晨.形式化方法在高中算法教学中的应用研究[J].计算机与现代化,2010(7):87-92. |
| |
| 作者姓名： | 苏昭 薛锦云 杨晨 |
| |
| 作者单位： | 江西师范大学省高性能计算技术重点实验室,江西,南昌,330022 |
| |
| 基金项目： | 国家自然科学基金资助项目，科技部国际合作项目 |
| |
| 摘 要： | 国家教育部制定的高中新课程标准将算法初步作为高中数学课程的必修内容,算法与程序设计也首次纳入到选修课之列。全国大部分普通高中均按新课标开展教学实验,不少省份还把算法内容纳入高考。同时现有算法初步和算法与程序设计教材在介绍算法与算法设计方法时,无法说清楚算法设计的过程;在教学实践中,这一问题更加突出。这给高中生学习、理解及掌握算法和算法设计方法带来很大的困难。本文从新课程实验教材中及数学高考题中选取两个问题,用支持算法程序形式化开发的PAR（Partition And Recur）方法与PAR平台,从待求解问题的精确功能描述出发,经过一系列等价数学变换,最后得到正确的算法和程序。实践说明PAR方法与PAR平台可以在高中算法教学及学生能力评测中发挥建设性作用。
|
| 关 键 词： | 可信软件 形式化方法 PAR方法 |
Research on Application of Formal Methods in High School Algrithmic Teaching |
| |
| SU Zhao,XUE Jin-yun,YANG Chen.Research on Application of Formal Methods in High School Algrithmic Teaching[J].Computer and Modernization,2010(7):87-92. |
| |
| Authors: | SU Zhao XUE Jin-yun YANG Chen |
| |
| Affiliation: | (Key Laboratory for High Performance Computing Technology of Jiangxi Province,Jiangxi Normal University,Nanchang 330022,China) |
| |
| Abstract: | |
| |
| Keywords: | trustworthy software formal method PAR method |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
