数学数理逻辑数学基础递归论
μ算子 μ-operator;mu-operator μ算子的意思 μ-operator;mu-operator的意思 μ算子的英文 μ-operator;mu-operator的翻译
科学技术名词为您提供μ算子,μ-operator;mu-operator,μ算子的意思,μ-operator;mu-operator的意思,μ算子的英文,μ-operator;mu-operator的翻译,μ算子的翻译,μ算子是什么意思,μ算子什么意思,μ-operator;mu-operator是什么意思,μ-operator;mu-operator什么意思
μ算子 相关科技名词
- 字母表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
别人正在查