递归定义

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

单词	Recursive definition
释义	Recursive definition 中文百科递归定义递归定义是数理逻辑和计算机科学用到的一种定义方式，使用被定义对象的自身来为其下定义（简单说就是自我复制的定义）。递归定义与归纳定义类似，但也有不同之处。递归定义中使用被定义对象自身来定义，而归纳定义是使用被定义对象的已经定义的部分来定义尚未定义的部分。不过，使用递归定义的函数或集合，它们的性质可以用数学归纳法，通过递归定义的内容来证明。英语百科 Recursive definition 递归定义 $Four stages in the construction of a Koch snowflake. As with many other fractals, the stages are obtained via a recursive definition.$ A recursive definition (or inductive definition) in mathematical logic and computer science is used to define the elements in a set in terms of other elements in the set (Aczel 1978:740ff). A recursive definition of a function defines values of the functions for some inputs in terms of the values of the same function for other inputs. For example, the factorial function n! is defined by the rules
随便看	propeller well propeller wheel propeller whirling test propeller width ratio Propeller windmill propeller with adjustable blades propeller with ring guard propeller with ring quard propelling propelling agent propelling booster propelling chain propelling charge propelling charges propelling effort propelling energy propelling engine propelling explosive propelling force propelling gas propelling gate propelling gear propelling hours propelling machine propelling machinery

Recursive definition

递归定义

Recursive definition 递归定义