归纳定义与递归算法

来源 :微机发展 | 被引量 : 0次 | 上传用户:lzj60
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
归纳定义是定义某些概念时常用到的一种定义方法,但是,什么叫做“归纳定义”并没有严格的说法,本文从代数系统的观点出发,对归纳定义进行了严格的数学定义,递归算法是编程时经常使用的一种算法设计方法,其思想就是算法本身调用自己,本文对归纳定义与递归算法之间的联系进行了深入的讨论和研究,结论是:利用归纳定义所定义的概念一定可以利用递归算法进行判定;反之,由递归算法可以判定的概念一定能够进行归纳定义。
其他文献
选煤厂CIMS支持系统包括数据库支持系统和计算机网络支持系统,本文结合中小型选煤厂的现状和将来的发展,设计了选煤厂CIMS的数据库系统和计算机网络,并针对大型中央选煤厂的特点,对其进行
本文区分了与信息系统开发相关联的两种基本假设,即信息需求假设和组织需求假设,分析了信息系统的组织角色,进一步提出了三种组织需求分析观点:技术观点、社会一技术观点和社会观
本主SPADE-1环境为例,探讨了Petri网在工程环境中的应用。
放入式微型电子测压器的工作环境恶略,为提高测压器抗外界环境特别是火炮膛压测试时环境的能力,需对其进行环境因子校准。校准过程中的数据处理运用了上升沿数据拟合的方法,
下矶角枢纽是东江河源至石龙段航道扩能升级关键控制性工程,本文根据下矶角枢纽近坝区河床地形条件,采用枢纽整体物理模型试验方法,研究通过开挖上游右岸凸嘴、调整副坝堤头
我国拥有漫长的海岸线,拥有众多大型港口,根据规定,码头改变原设计使用功能、拟提升荷载等级,更有众多老旧码头,均需要进行检测评估,以确定码头使用状况和承载性能。本文通过
本文对微机硬盘两种引导扇区的概念、内容加以分析,给出引导型软故障发生的现象、原因和排除方法。
水利工程传统的护岸型式有混凝土挡土墙和浆砌块石挡土墙,该种挡土墙通常施工工期长,造价高,施工难度大;随着时代的发展和社会的进步,一种新型的护岸型式在水利工程中得到了
网兜抛石法为全新施工工艺,缺乏在航道工程中使用研究。以此,本文就将网兜抛石法应用到长江航道中,此方法在施工过程中具有较高的安全性,容易控制施工质量。
近年来,我国葡萄生产出现了建国以来的第三次发展高峰.业内专家分析,这次葡萄大发展的一个显著特点就是以品质优良的欧亚为主,代表品种为红地球.