期刊文献+

PAR在数学算法中的应用 被引量:3

The Applied of PAR Method in Mathematics Algorithm
下载PDF
导出
摘要 针对算法走进高中课堂的现状,提出使用PAR作为高中学习算法开发的主要平台,通过PAR形式化推导实现多项式和素数两个经典数学问题,表明PAR具有良好的数学和程序设计语言透明性,得到算法简短易于理解的同时也可以同时保证算法的正确性,理论分析和试验表明,PAR是学习算法开发的一个有效平台。 Algorithm already into the high school textbook,the use of PAR as the primary platform in high school learning algorithm. Through the formal PAR derived polynomials and prime numbers to achieve the two classical mathematical problem,Show that the PAR has a good math and programming language transparency,to be brief algorithm is also easy to understand at the same time guarantee the correctness of algorithm,Theoretical analysis and experiments show that the learning algorithm PAR is an effective platform for Learning algorithm.
作者 杨晨 YANG Chen (School of Computer Information & Engineering,Jiangxi Nomal University,Nanchang 330022,China)
出处 《电脑知识与技术》 2010年第3期1641-1644,共4页 Computer Knowledge and Technology
关键词 PAR方法 PAR平台 形式化推导 算法 PAR approach PAR platform formal derivation algorithm
  • 相关文献

参考文献13

二级参考文献31

  • 1陈火旺,王戟,董威.高可信软件工程技术[J].电子学报,2003,31(z1):1933-1938. 被引量:115
  • 2石海鹤,肖正兴,薛锦云.循环不变式开发新策略及其应用[J].计算机工程与应用,2006,42(4):105-107. 被引量:8
  • 3[1]H Parsch.The CIP Transformation System.Berlin:Springer,1984.305-322
  • 4[2]Burstall,Darlington.A transform system for developing recursive programs.Journal of ACM,1997,24(1):44-67
  • 5[3]Douglas R Smith.Designware:Software Development by Refinement.The 8th Int'l Conf on Category Theory and Computer Science,Edinburgh,1999
  • 6[4]J Xue.A unified approach for developing efficient algorithmic programs.Journal of Computer Science and Technology,1997,12(4):314-329
  • 7[5]J Xue.Two new strategies for developing loop invariants and their applications.Journal of Computer Science and Technology,1993,8(2):215-231
  • 8[6]J Xue.Formal derivation of graph algorithmic programs using partition-and-recur.Journal of Computer Science and Technology,1998,13(6):553-561
  • 9[7]Aho A Hopcroft,J Ullman.Data Structures and Algorithms.New York:Addison-Wesley,1983
  • 10[8]Thomas H Cormen,Charles E Leiserson,Ronald L Rivest,et al.Introduction to Algorithms,Second edition.Cambridge:MIT Press,2001

共引文献82

同被引文献6

引证文献3

二级引证文献22

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部