1) primitively recursive set functions
原始递归集函数
1.
In this paper, the notions of recursive functions and recursive formulas on sets are introduced; some properties of such functions and formulas are studied; and the relations between recursive set functions and primitively recursive set functions are defined by Jenson and Karp and between recursive set functions and recursive number theoretic functions are also discussed.
研究了递归集函数的初步性质，讨论了递归集函数与Ｊｅｎｓｅｎ和Ｋａｒｐ定义的原始递归集函数及递归数论函数之间的关系，并给出了ＺＦＣ的可定义集模型上递归集函数的范式定理。
2) primitive recursive function
原始递归函数
3) recursive set functions
递归集函数
1.
In this paper, the notions of recursive functions and recursive formulas on sets are introduced; some properties of such functions and formulas are studied; and the relations between recursive set functions and primitively recursive set functions are defined by Jenson and Karp and between recursive set functions and recursive number theoretic functions are also discussed.
研究了递归集函数的初步性质，讨论了递归集函数与Ｊｅｎｓｅｎ和Ｋａｒｐ定义的原始递归集函数及递归数论函数之间的关系，并给出了ＺＦＣ的可定义集模型上递归集函数的范式定理。
4) primitive recursion
原始递归
1.
Presents the abstraction on algorithms and primitive recursion constructor,aiming to reinforce the high reusability and extensibility of generic algorithms.
将对递归算法进行抽象,构造原始递归构造子,使得一般的泛型算法都可以通过该算子来构造,从而加强泛型算法的可复用型与可扩展性。
5) Primitive real recursive function
本原实递归函数
6) primitive recursiveness
原始递归性
补充资料：原始递归
原始递归
primitive recursion
原始递归[洲耐.e re皿‘佣;npllM“T“”H四pe脚e，:1 定义自变数及值均为自然数的函数的一种手段.人们称n+1元函数f(x、，…，x。，力经原始递归方式由一个。元函数g(xl，…，x。)和一个n十2元函数h(xl，一，x。，夕，:)得到，若对xl，…，X。，夕的一切自然数值，有 f(xl，…，x。，0)=g(x，，二，x。)且 j(x!，…，x。，夕+l)“ =h(x，，…，x。，y，f(x，，…，x。，y)).对给定的g和h如此的一个函数厂总是存在的且唯一当n=O时，对f的定义等式可以写为 f(0)=a，j…(x+1)=h(x，j工x)). 原始递归方式的一个基本性质是对任何可计算性概念的有意义的明确陈述，当f是由可计算舀数g和h经原始递归方式得来的，那么f本身也是可计算的(见可计算函数(comPutable funotion)).原始递归方式是由一组基本函数的初始集产生一切原始递归函数和一切部分递归函数的基本手段之一(见原始递归函数(p山刘tive reeursive function);部分递归函数(nar-hal recU『sive funetion).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条