分划递推法及其应用

• 作者: 李云清
• 来源期刊: 计算机工程与应用
• 学科: 医学
• 关键词: 算法设计 功能规约 递推关系 循环不变式
• 年，卷（期）: 2001,（17）
• 所属期刊栏目: 学术探讨
• 页码范围: 77-79,88
• 页数: 4页
• 分类号: rP311
• 字数: 6023字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2001.17.027

摘要

分划递推法是一种新的算法设计技术.在分划递推法中使用逻辑符号和扩充的量词表示功能规约.分划是处理复杂问题的一般方法,而递推可用于循环不变式和算法设计开发.文中给出的三个实例呈现了使用分划递推法进行算法设计和开发的步骤和要点.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李云清	江西师范大学计算机科学技术学院	18	152	8.0	11.0