首页> 中文期刊>计算机工程与应用 >分划递推法及其应用

分划递推法及其应用

     

摘要

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

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号