位置:成果数据库 > 期刊 > 期刊详情页
形式化方法在高中算法教学中的应用研究
  • ISSN号:1006-2475
  • 期刊名称:计算机与现代化
  • 时间:0
  • 页码:87-92
  • 语言:中文
  • 分类:TP301.2[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构:[1]江西师范大学省高性能计算技术重点实验室,江西南昌330022
  • 相关基金:国家自然科学基金资助项目(60773054); 科技部国际合作项目(2008DFA11940)
  • 相关项目:基于PAR平台的信息系统应用软件若干共性关键技术研究
作者: 薛锦云|苏昭|
中文摘要:

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

英文摘要:

The algorithm is adopted initially as a required course of high school mathematics curriculum content by ministry of education high school curriculum standards,the algorithm and program design goes into the list of elective courses for the first time.The new curriculum in most high school teaching is experimented,and many provinces incorporate it in the College Entrance Examination.Meanwhile the existing teaching materials of algorithms and the algorithms and procedures are designed for introducing algorithms and algorithm design method,can not make clear the process of algorithm design,in teaching practice,this problem is acute.It makes high school students hard to learn,understand and mastering the method and algorithm design.This paper selects two issues from new curriculum teaching materials and mathematics test questions of College Entrance Examination,supporting by PAR,to solve the problem from the exact function description,through a series of equivalent mathematical transformation,finally gets the right algorithm and procedures.The practice shows that PAR method and PAR platform in high school teaching and evaluating student ability can play a constructive role.

同期刊论文项目
同项目期刊论文
期刊信息
  • 《计算机与现代化》
  • 中国科技核心期刊
  • 主管单位:江西省科学技术厅
  • 主办单位:江西省计算机学会 江西省计算技术研究所
  • 主编:刘波平
  • 地址:南昌市西湖区井冈山大道1416号8楼
  • 邮编:330003
  • 邮箱:jgsdd@163.com
  • 电话:0791-86490996
  • 国际标准刊号:ISSN:1006-2475
  • 国内统一刊号:ISSN:36-1137/TP
  • 邮发代号:44-121
  • 获奖情况:
  • 中国科技核心期刊 中国科技论文统计源期刊 江西省...
  • 国内外数据库收录:
  • 波兰哥白尼索引,中国中国科技核心期刊
  • 被引量:14808