λ可定义函数
规范用词λ可定义函数
英文对照λ-definable function;lambda- -definable function
名词审定数学名词审定委员会
见载刊物《数学名词》 科学出版社
公布时间1993年
科学技术名词为您提供λ可定义函数,λ-definable function;lambda- -definable function,λ可定义函数的意思,λ-definable function;lambda- -definable function的意思,λ可定义函数的英文,λ-definable function;lambda- -definable function的翻译,λ可定义函数的翻译,λ可定义函数是什么意思,λ可定义函数什么意思,λ-definable function;lambda- -definable function是什么意思,λ-definable function;lambda- -definable function什么意思
λ可定义函数 相关科技名词
- 字母表alphabet
- 算法algorithm
- 计算computation
- 间隙gap
- 枚举enumeration
- 瞬时描述instantaneous description
- 次递归性subrecursiveness
- 带tape
- 标号label
- 加速speedup
- 正合对exact pair
- 创造集creative set
- 控制函数dominant function
- 超单纯hypersimple
- 及时单纯集promptly simple set
- 相对递归性relative recursiveness
- 跃变jump
- 可归约[的]reducible
- 优先[方]法priority method
- 损害集injury set
- 极大集maximal set
- 单[纯]集simple set
- 极小对minimal pair
- 度degree
- 极小度minimal degree
- 一一可归约性one-one reducibility
- 谕示oracle
- 多一可归约性many one reducibility
- 真假值表归约性truth table reducibility
- 弱真假值表归约性weak truth table reducibility
- 序数记号ordinal notation
- 递归序数recursive ordinal
- 孤[立]元isol
- α有限α-finite;alpha-finite
- α递归性α-recursion;alpha-recursion
- 递归可公理化recursively axiomatizable
- 递归分析recursive analysis
- 递归算术recursive arithmetic
- 归约reduction
- 图灵归约Turing reduction
别人正在查