优先[方]法
规范用词
优先[方]法
英文翻译
priority method
所属学科
数学
>
数理逻辑数学基础
>
递归论
名词审定
数学名词审定委员会
见载刊物
《
数学名词
》 科学出版社
公布时间
1993年
递归论 的上级学科
数学
数理逻辑数学基础
优先[方]法 相关科技名词
字母表
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