作者：张园 杨庆红 胡昊算法设计方法递推关系程序规约
摘要：算法是计算机科学的核心，算法设计对于开发正确、高效的程序至关重要。基于递推技术的算法设计方法通过形式化推导保证算法的可靠性，同时能较好地提高算法程序的效率。本文通过两个实例，详细介绍基于递推技术的算法设计方法形式化推导算法程序的过程。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《计算机与现代化》（CN：36-1137/TP）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《计算机与现代化》自创刊以来，以理论联系实际、促进应用开发为宗旨，主要刊登计算机专业方面的新理论、新技术及其在各个领域中应用成果的论文，设有系统分析与设计、软件工程、网络与通讯、过程控制、辅助设计、中文信息技术、人工智能、综合述评、应用与实践等栏目，既有相当的学术水平，又有现实的指导作用。
部级期刊
人气 850799 评论 75
人气 230163 评论 65
人气 214642 评论 35
省级期刊
人气 213110 评论 71
