primitive recursive isomorphism
翻译:原始递归同构
同义词
1)primitive recursive isomorphism,原始递归同构2)primitive recursion,原始递归3)primitive recursiveness,原始递归性4)original recursive model,原始递归模式5)original recursive specification,原始递归描述6)primitively recursive set functions,原始递归集函数英汉例句
Presents the abstraction on algorithms and primitive recursion constructor,aiming to reinforce the high reusability and extensibility of generic algorithms.
将对递归算法进行抽象,构造原始递归构造子,使得一般的泛型算法都可以通过该算子来构造,从而加强泛型算法的可复用型与可扩展性。
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.
研究了递归集函数的初步性质，讨论了递归集函数与Ｊｅｎｓｅｎ和Ｋａｒｐ定义的原始递归集函数及递归数论函数之间的关系，并给出了ＺＦＣ的可定义集模型上递归集函数的范式定理。