1) decreasing set function
递减集合函数
2) monotone decreasing set function
单调递减集合函数
3) Decline function
递减函数
4) monotone decreasing function
单递减函数
5) monotone increasing set function
单调递增集合函数
6) 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.
研究了递归集函数的初步性质，讨论了递归集函数与Ｊｅｎｓｅｎ和Ｋａｒｐ定义的原始递归集函数及递归数论函数之间的关系，并给出了ＺＦＣ的可定义集模型上递归集函数的范式定理。
补充资料：递减
1.依次减少。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条