说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 本原实递归函数
1)  Primitive real recursive function
本原实递归函数
2)  Real recursive function
实递归函数
3)  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.
研究了递归集函数的初步性质,讨论了递归集函数与Jensen和Karp定义的原始递归集函数及递归数论函数之间的关系,并给出了ZFC的可定义集模型上递归集函数的范式定理。
4)  primitive recursive function
原始递归函数
5)  recursive function
递归函数
1.
Analysis of recursive function s time complexity;
递归函数时间复杂度的分析
2.
Traditional Gene Expression Programming(GEP) is bare of discovering recursive functions.
传统基因表达式编程(GEP)无法发现递归函数。
3.
Recursive functions on context-free languages (CFRF) are a kind of new recursive functions proposed especially for describing non-numerical algorithms used on computers.
上下文无关语言上递归函数(recursive functions on context-free languages,简称 CFRF)是为描述计算机上用的非数值算法而提出的一种新型递归函数。
6)  recursion function
递归函数
补充资料:泯权归实
【泯权归实】
 (术语)泯亡方便之教而使归入真实教也。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条