基于递推技术的算法设计方法的应用研究

作者：张园; 杨**; 胡昊

来源：计算机与现代化, 2012, (06): 37-39.

• 算法设计方法
• 递推关系
• 程序规约

算法是计算机科学的核心,算法设计对于开发正确、高效的程序至关重要。基于递推技术的算法设计方法通过形式化推导保证算法的可靠性,同时能较好地提高算法程序的效率。本文通过两个实例,详细介绍基于递推技术的算法设计方法形式化推导算法程序的过程。

• 单位
  江西师范大学; 南昌航空大学科技学院