跃变
规范用词
跃变
英文翻译
jump
所属学科
数学
>
数理逻辑数学基础
>
递归论
名词审定
数学名词审定委员会
见载刊物
《
数学名词
》 科学出版社
公布时间
1993年
递归论 的上级学科
数学
数理逻辑数学基础
跃变 相关科技名词
递归论
recursion theory
丘奇论题
Church thesis
哥德尔配数法
Go&4&del numbering
分层
hierarchy
有限自动机
finite automaton
可接受标号
acceptable indexing
配对
pairing
可解性
solvability
正规算法
normal algorithm
通用函数
universal function
不可解性
unsolvability
λ演算
λ-calculus;lambda-calculus
λ可定义函数
λ-definable function;lambda- -definable function
原始递归性
primitive recursiveness
能行可计算性
effective calculability
能行性
effectiveness
原始递归式
primitive recursion
μ算子
μ-operator;mu-operator
递归函数
recursive function
递归集
recursive set
递归可枚举集
recursively enumerable set
递归性
recursiveness
博雷尔分层
Borel hierarchy
丢番图关系
Diophantine relation
超算术
hyperarithmetic
计算复杂性
computational complexity
容许序数
admissible ordinal
超跃变
hyperjump
容许集
admissible set
算术谓词
arithmetical predicate
有限型
finite type
算术分层
arithmetical hierarchy
解析分层
analytic hierarchy
NP问题
NP problem
图灵机
Turing machine
确定性图灵机
deterministic Turing machine
非确定性图灵机
non-deterministic Turing machine
可计算性
computability
停机问题
halting problem
自动机
automata
学习应用类查询
新华字典
汉语词典
成语大全
诗词大全
英文缩写
英语单词
在线翻译
英文名
科技名词
五笔字根表
笔画数
偏旁部首
汉字拼音
区位码
郑码查询
仓颉编码
四角号码
中文电码
简繁转换
编码解码
专业词典
计算器
摩尔斯电码
圆周率
全部查询
我的订单