递归定理(recursion theorem)亦称不动点定理。反映部分递归函数类基本性质的重要定理。最初是由美国逻辑学家、数学家克林(Kleene, S. C.)于1938年证明的，克林所给的递归定理的原始形式特称为第二递归定理)：若\varphi为部分递归函数，则存在e使得\alpha_{e}(x)=\varphi(e,x)。
提出了动态递归数字滤波器的鲁棒稳定性检验定理，将动态递归数字滤波器划分为两类，单调系统簇与非单调系统簇。
The robust stability test theorems of dynamic recursive digital filters have been proposed in the paper. The digital filters can be classified into two classes, monotone and non-monotone.
本文主要研究随机递归树和随机二叉搜索树上与分支和子树相关的极限定理。
Some limit laws for the branches and subtrees in a random recursive tree and binary search tree are established in this dissertation.
本文对一个定理中递归关系的建立给出了容易理解的详细表述，然后利用生成函数法求其解。
In this paper, the authors describe the establishment of a recurrence relation of a theory in detail and provides the method to solve problems by means of generating functions.
应用推荐