Introducing Formal Derivation into the Design and Analysis of Algorithms
The design and analysis of algorithms is one of the two essential cornerstone topics in computer science. However, some students think it hard to grasp and often learn by rote, thus they usually cant improve their ability of algorithm design and algorithm analysis. To address the problem, we advocate the incorporation of formal derivation into the design and analysis of algorithms. Formal algorithm derivation is valuable in revealing wonderful ideas behind algorithm, and ensuring resultant algorithm correctness. It would be helpful in showing where the algorithmic ideas come, thus enable the improvement of students understanding and study. The detailed teaching design is presented in the paper.
algorithm design and analysis formal derivation
Haipeng Shi Haihe Shi
College of Software Jiangxi Normal University Nanchang, China College of Computer Information and Engineering Jiangxi Normal University Nanchang, China
国际会议
第四届国际计算机新科技与教育学术会议(2009 4th International Conference on Computer Science & Education)
南京
英文
1322-1324
2009-07-25（万方平台首次上网日期，不代表论文的发表时间）