关键词: AR方法, PAR平台, 形式化推导

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.

Key words: PAR approach, PAR platform, formal derivation