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