哥德尔配数法
规范用词
哥德尔配数法
英文翻译
Go&4&del numbering
所属学科
数学
>
数理逻辑数学基础
>
递归论
名词审定
数学名词审定委员会
见载刊物
《
数学名词
》 科学出版社
公布时间
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
学习应用类查询
新华字典
汉语词典
成语大全
诗词大全
英文缩写
英语单词
在线翻译
英文名
科技名词
五笔字根表
笔画数
偏旁部首
汉字拼音
区位码
郑码查询
仓颉编码
四角号码
中文电码
简繁转换
编码解码
专业词典
计算器
摩尔斯电码
圆周率
全部查询
我的订单