递归定义

✍ dations ◷ 2024-12-23 03:15:49 #递归论,定义,理论计算机科学,数理逻辑

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

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

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

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

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

相关

530–579Template:Developmental tooth disease Template:Acquired tooth disease Template:Dentofacial anomalies and jaw disease Template:Oral pathology
苏联政府压抑的科学研究有一系列科学研究受到苏联政府的压抑，相关研究员经常受到不公正对待，动辄被贴上“资产阶级学者”的标签。1930年代中期起，李森科在斯大林支持下发动了一场反对基因遗传学的运动
维蒂希反应维蒂希反应（Wittig反应）是醛或酮与三苯基磷
太阳微系统公司Dorian Daley，总裁兼CEOJeffrey Epstein，CFO太阳计算机系统（英语：Sun Microsystems），是一家曾经存在的公司，台湾称昇阳电脑，中国大陆称太阳计算机系统，创建于1982年2月24日，1986年在美
Kylie Minogue凯莉·安·米洛，OBE（英语：Kylie Ann Minogue，/ˈkaɪli mᵻˈnoʊɡ/，1968年5月28日－）是一位澳洲歌手、作曲家、演员。1987年凯莉凭借在电视剧“家有芳邻”中饰演“Charlene”成名
露梁海战釜山镇 – 多大浦 – 东莱城 – 尚州 – 忠州弹琴台 – 玉浦 – 泗川 – 临津江 – 唐浦 – 唐项浦 – 闲山岛 – 龙仁 – 梨峙 – 平壤 – 釜山浦 – 北关
高校联考自主招生联盟语言 - 文化 - 体育 - 节日政府 - 政治 - 法律 - 经济艺术 - 文学 - 舞蹈 - 戏曲自主招生是中国高等教育招生改革扩大高校自主权的重要措施，指中国大陆高校可以自行命
数据压缩在计算机科学和信息论中，数据压缩或者源编码是按照特定的编码机制用比未经编码少的数据比特（或者其它信息相关的单位）表示信息的过程。例如，如果我们将“compression”编码为“c
拉丁语动词拉丁语的动词变位比较复杂。动词有人称、数、时态、语气（直陈、虚拟、命令）和态（主动、被动）的区别。大部分拉丁动词都有四个主要形式或词干。举例：amō（进行时词干），amāre（不定式），am
高丽饭店坐标：39°0′31.47″N 125°44′9.92″E / 39.0087417°N 125.7360889°E / 39.0087417; 125.7360889高丽饭店（朝鲜语：고려호텔）是位于朝鲜民主主义人民共和国平壤市中区域的国