首页 | 本学科首页   官方微博 | 高级检索  
     

归纳定义与递归算法
引用本文:闫林.归纳定义与递归算法[J].微机发展,1997,7(4):6-8.
作者姓名:闫林
作者单位:河南师范大学计算机科学系!河南省新乡市,453002
摘    要:归纳定义是定义某些概念时常用到的一种定义方法,但是,什么叫做“归纳定义”并没有严格的说法,本文从代数系统的观点出发,对归纳定义进行了严格的数学定义。递归算法是编程时经常使用的一种算法设计方法,其思想就是算法本身调用自己。本文对归纳定义与递归算法之间的联系进行了深入的讨论和研究,结论是:利用归纳定义所定义的概念一定可以利用递归算法进行判定;反之,由递归算法可以判定的概念一定能够进行归纳定义。

关 键 词:归纳定义  递归算法  代数系统

Inductive Definition and Recursive Algorithm
YAN Lin.Inductive Definition and Recursive Algorithm[J].Microcomputer Development,1997,7(4):6-8.
Authors:YAN Lin
Abstract:
Keywords:Inductive Definition  Recursive Algorithm  Algebra System
本文献已被 CNKI 维普 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号