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

作     者：张园 杨庆红 胡昊 ZHANG Yuan;YANG Qing-hong;HU Hao

作者机构：江西师范大学计算机信息工程学院江西南昌330022 南昌航空大学科技学院江西南昌330034 

出 版 物：《计算机与现代化》 (Computer and Modernization)

年 卷 期：2012年第6期

页      码：37-39页

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

主 题 词：算法设计方法 递推关系 程序规约 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1006-2475.2012.06.011

馆 藏 号：203541261...