递归定义

✍ dations ◷ 2025-04-26 01:15:57 #递归论,定义,理论计算机科学,数理逻辑

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

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

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

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

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

相关

  • 乳房X光摄影乳房摄影术(英语:Mammography)是利用低剂量(约为 0.7毫西弗)的X光检查人类(主要是女性)的乳房,它能侦测各种乳房肿瘤、囊肿等病灶,有助于早期发现乳癌,并降低其死亡率。除了影像检查之
  • 心室中膈缺损心室中膈缺损(英语:ventricular septal defect,简称:VSD),又称心室中隔缺损、心室间隔缺损、室间隔缺损,列为心脏病之一,当然中隔缺损还有分为心室中隔缺损、心房中隔缺损等等。生出
  • Ching chongching chong、ching chang chong是一个贬义词,经常被某些美洲人用来嘲弄华文使用者、华裔甚至其他外貌类似华裔的东亚人。一些评论认为该词语具有侮辱性质,指出有诸多针对东亚
  • 般度般度(梵语:पाण्‍डु),《摩诃婆罗多》人物。他是般度族的始祖,持国的弟弟,广博的儿子,奇武王名义上的儿子。贞信要求福身王立己子继位,但福身王已先与恒河女神育有一子天誓。为
  • 咬合咬合,又称�(Occlusion),是牙科术语,即是牙齿对应;通常是指上颌骨与下颌骨的牙齿对应,当咀嚼或休息时两者的接触时间。�字由四川大学华西口腔医学院第二任院长邹海帆在1920年代、1930
  • 鲁道夫·冯·耶林鲁道夫·冯·耶林 (Rudolf von Jhering,1818年8月22日-1892年9月17日),生于奥利希市,卒于哥廷根,德国19世纪著名的法学家,缔约过失责任理论的创始人。 鲁道夫·冯·耶林生于一个犹
  • 约赫克普夫尔山坐标:46°55′39″N 11°06′28″E / 46.9275°N 11.10778°E / 46.9275; 11.10778约赫克普夫尔山(德语:Jochköpfl),是奥地利的山峰,位于该国西部,由蒂罗尔州负责管辖,属于斯图拜阿
  • 钟兴民钟兴民(Baby Chung,1966年1月26日-),台湾著名的音乐制作人。年轻时为红蚂蚁合唱团键盘手,常在各大演唱会专任键盘手,编曲而优则制作,渐渐成为五大唱片公司专聘的热门音乐制作人。曾
  • 有栖川宫帜仁亲王有栖川宫帜仁亲王(日语:有栖川宮幟仁親王/ありすがわのみや たかひとしんのう ,1812年2月17日(文化9年1月5日)—1886年(明治19年)1月24日),是日本幕末到明治时期的皇族,是有栖川宫韶仁
  • 灵鹫山无生道场灵鹫山无生道场,是一个三乘合一的佛教道场。位于台湾新北市贡寮区福隆里灵鹫山(雪山山脉北端的首座山峰荖兰山(鹰仔山)之近旁)、最高点海拔约387米,即在福隆近郊。由释心道法师