教育资源公共服务平台
站内导航
英语单词
英文缩写
英文名
科技词典
专业词典
中文字典
成语
汉语词典
国家查询
大学查询
软件下载
邮编查询
教育资源导航
公共查询
科学技术名词
递归论
数学
数理逻辑数学基础
递归论
停机问题 halting problem 停机问题的意思 halting problem的意思 停机问题的英文 halting problem的翻译
停机问题
规范用词
停机问题
英文对照
halting problem
所属学科
数学
>
数理逻辑数学基础
>
递归论
名词审定
数学名词审定委员会
见载刊物
《
数学名词
》 科学出版社
公布时间
1993年
科学技术名词为您提供停机问题,halting problem,停机问题的意思,halting problem的意思,停机问题的英文,halting problem的翻译,停机问题的翻译,停机问题是什么意思,停机问题什么意思,halting problem是什么意思,halting problem什么意思
停机问题 相关科技名词
递归论»
递归论
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
