首页
随机
附近
登录
设置
资助维基百科
关于维基百科
免责声明
搜索
分类
:
递归论
语言
监视
编辑
页面分类
>
人文学科
>
哲学
>
逻辑
>
计算机逻辑
> 递归论
页面分类
>
人文学科
>
哲学
>
逻辑
>
数理逻辑
> 递归论
本范畴涉及
递归论
,也叫做
可计算性理论
,它是与
可计算函数
概念的推广有关的
数理逻辑
分支,并与
图灵度
这样的概念有关。
维基共享资源
上的相关多媒体资源:
递归论
子分类
本分类有以下5个子分类,共有5个子分类。
J
計算理論
(7个分类, 38个页面)
L
Lambda演算
(17个页面)
图
图灵机
(13个页面)
组
组合子逻辑
(4个页面)
递
递归
(2个分类, 17个页面)
分类“递归论”中的页面
以下34个页面属于本分类,共34个页面。
*
递归论
B
不可解度
Λ
Λ演算
Μ
Μ算子
不
不可判定问题
不可判定问题列表
互
互递归
低
低基定理
停
停机问题
共
共递归
原
原始递归函数
可
可判定性
可計算數
可计算函数
图
图灵机
圖靈完備性
忙
忙碌的海狸
急
急成长阶层
无
无限倒退
柯
柯氏复杂性
决
決定性問題
波
波斯纳–罗宾逊定理
算
算数阶层
组
组合子逻辑
组合范畴语法
缓
缓成长阶层
跳
跳跃逆转定理
递
递归函数
递归可枚举集合
递归定义
递归集合
邱
邱奇-图灵论题
邱奇数
预
預言機