递归论科技名词
递归论科技名词：第1页
递归论
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
第1页
下一页
递归论 的上级学科
数学
数理逻辑数学基础
学习应用类查询
新华字典
汉语词典
成语大全
诗词大全
英文缩写
英语单词
在线翻译
英文名
科技名词
五笔字根表
笔画数
偏旁部首
汉字拼音
区位码
郑码查询
仓颉编码
四角号码
中文电码
简繁转换
编码解码
专业词典
计算器
摩尔斯电码
圆周率
全部查询
我的订单