数学数理逻辑数学基础递归论
递归算术 recursive arithmetic 递归算术的意思 recursive arithmetic的意思 递归算术的英文 recursive arithmetic的翻译
科学技术名词为您提供递归算术,recursive arithmetic,递归算术的意思,recursive arithmetic的意思,递归算术的英文,recursive arithmetic的翻译,递归算术的翻译,递归算术是什么意思,递归算术什么意思,recursive arithmetic是什么意思,recursive arithmetic什么意思
递归算术 相关科技名词
- 递归论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