| 三个经典数学问题的形式化开发 |
| |
| 引用本文： | 杨晨,薛锦云,苏昭.三个经典数学问题的形式化开发[J].计算机与现代化,2010(8):1-4. |
| |
| 作者姓名： | 杨晨 薛锦云 苏昭 |
| |
| 作者单位： | 江西师范大学省高性能计算技术重点实验室,江西,南昌,330022 |
| |
| 基金项目： | 国家自然科学基金资助项目，科技部合作项目 |
| |
| 摘 要： | 计算机科学最高奖图灵奖获得者Knuth指出,算法是计算机科学的核心。算法的设计和理解对开发高效、正确的软件至关重要。本文选取平方数问题、几何级数求和问题和多项式求值这3个经典数学问题,使用支持算法程序形式化的PAR方法和PAR平台,从待求解问题的精确功能描述出发,使用PAR方法和PAR平台的推理和变换规则,经过一系列等价变换,最后得到正确的算法程序。这一系列形式化推演的过程揭示了这3个经典数学问题的奥妙,事实说明PAR方法和PAR平台在算法程序设计过程中可以发挥更大的作用。
|
| 关 键 词： | PAR方法 PAR平台 形式化推导 |
Formal Development of Three Classical Mathematics Problems |
| |
| YANG Chen,XUE Jin-yun,SU Zhao.Formal Development of Three Classical Mathematics Problems[J].Computer and Modernization,2010(8):1-4. |
| |
| Authors: | YANG Chen XUE Jin-yun SU Zhao |
| |
| Affiliation: | (Key Laboratory of High-Performance Computing Technology,Jiangxi Normal University,Nanchang 330022,China) |
| |
| Abstract: | Turing Award in computer science prizewinner Knuth says algorithm is the core of computer science.Algorithm design and understanding are important to the development of efficient and correct software.This paper,through the formal PAR derives square number,geometric sum and an polynomials evaluation achieves the three classical mathematical problem,from the problem of exact function to be described starting,uses the PAR method and PAR platform reasoning and transformation rules,after a series of equivalent transformation,gets the correct algorithm program finally.This process reveals three classical mathematical problem subtleties.Facts show that PAR method and platform can play a greater role in the algorithm and program design process. |
| |
| Keywords: | PAR approach PAR platform formal derivation |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
