递归定义

✍ dations ◷ 2025-09-16 11:31:56 #递归论,定义,理论计算机科学,数理逻辑

递归定义是数理逻辑和计算机科学用到的一种定义方式,使用被定义对象的自身来为其下定义(简单说就是自我复制的定义)。递归定义与归纳定义类似,但也有不同之处。递归定义中使用被定义对象自身来定义,而归纳定义是使用被定义对象的已经定义的部分来定义尚未定义的部分。不过,使用递归定义的函数或集合,它们的性质可以用数学归纳法,通过递归定义的内容来证明。

大部分的递归定义都由三个部分构成:基本情况的定义,递归法则和递归结束的情况。如果定义的对象是无限的,那么可以省略第三个部分(递归结束的情况)。比如说,可以用递归定义的方式来定义如下的一个自然数集上的函数 f {\displaystyle f}

这个定义在逻辑上是成立的,因为它首先定义了 f {\displaystyle f} 在最小的自然数0上的取值,接下来对每个大于零的自然数 n {\displaystyle n} ,只要重复有限多次定义的过程,最终就会回到对0的定义上。这样定义出的函数 f {\displaystyle f} 就是阶乘函数。

递归定义和循环定义的不同之处在于,后者不包括对基本情况的定义。比如定义建立在整数集上的函数 g {\displaystyle g}

则我们永远无法确定 g {\displaystyle g} 的取值,这便是循环定义。

相关

  • 暗能量暗能量是某种作用于时空结构本身的能量,并且是种均匀的负压力,会导致时空结构膨胀。在物理宇宙学中,暗能量是一种充溢空间的、增加宇宙膨胀速度的难以察觉的能量形式。暗能量假
  • 杰斐缅柯方程在电磁学里,给予含时电荷密度分布和电流密度分布,可以使用杰斐缅柯方程(Jefimenko equation)来计算电场和磁场。这方程因其发现者物理学家欧雷格·杰斐缅柯(英语:Oleg D. Jefimenk
  • 太空竞赛年表这是从第一个洲际弹道导弹到阿波罗-联盟测试计划的太空竞赛时期的航天首次成就年表。1在发射前,改计划领导者直接从美国海军研究实验所(NRL)调转到美国国家航空宇航局(USA-NASA).
  • 沈阳中心中国人民解放军军徽沈阳联勤保障中心,位于辽宁省沈阳市,为中央军委联勤保障部队下属副军级单位,隶属武汉联勤保障基地。1961年9月,在沈阳市组建中国人民解放军后勤第2分部。1968
  • 将军号《将军号》(The General)是美国电影导演巴斯特·基顿的默片作品,根据安祖鲁突击所改编,于1927年上映。《将军号》被广泛的认为是史上最伟大的电影之一。故事发生在美国南北战争
  • 约翰·C·卡尔霍恩约翰·卡德威尔·卡尔霍恩(英语:John Caldwell Calhoun,1782年3月18日-1850年3月31日),南卡罗来纳州人,美国政治家。他是19世纪前半叶最著名的美国政治家之一,曾任美国副总统、美国
  • 香严寺香严寺,又名“长寿寺”、“香严长寿寺”、“显通禅寺”,位于中国河南省南阳市淅川县仓房镇西北部的白崖山群中,东临龙山,西接虎山,北依后岭,南拱面山,整个地形若莲花状,香严寺恰居中
  • 干草市场事件干草市场事件(英语:Haymarket affair)又称干草市场暴乱(英语:Haymarket Riot)或干草市场屠杀(英语:Haymarket massacre)为一场于1886年所发生的美国大规模工运,这是在5月4日在芝加哥干
  • 中铁上海工程局中铁上海工程局集团有限公司(英语:Shanghai Civil Engineering Co., Ltd. of CREC),注册地位于上海,隶属于中国铁路工程集团的上市公司中国中铁:222。业务性质为铁路、公路、市政
  • CopperCopper可以指: