基于数学归纳法抽取循环程序研究
기우수학귀납법추취순배정서연구
The Study on Extraction Loop program Based on Mathematical Induction
  • 万方数据
    电脑编程技巧与维护 전뇌편정기교여유호
    COMPUTER PROGRAMMING SKILLS & MAINTENANCE
    2009年 14期 5-6 ,共2页

    郑怡文%白云晖

    정이문%백운휘

    数学归纳法%抽取%循环程序 數學歸納法%抽取%循環程序
    수학귀납법%추취%순배정서
    广义上,程序设计过程就是定理证明过程,因而程序综合与机器定理证明关系密切.由于归结原理的反证法本质,不能保证其证明是构造性的,因此不能保证能够抽取循环程序,但是利用数学归纳法可以使用归结原理来抽取循环体,从而抽取循环程序.文中利用数学归纳法进行了循环程序的提取.
    엄의상,정서설계과정취시정리증명과정,인이정서종합여궤기정리증명관계밀절.유우귀결원리적반증법본질,불능보증기증명시구조성적,인차불능보증능구추취순배정서,단시이용수학귀납법가이사용귀결원리래추취순배체,종이추취순배정서.문중이용수학귀납법진행료순배정서적제취.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문