跳转到内容
主菜单
主菜单
移至侧栏
隐藏
导航
首页
分类索引
特色内容
新闻动态
最近更改
随机条目
帮助
帮助
维基社群
方针与指引
互助客栈
知识问答
字词转换
IRC即时聊天
联络我们
关于维基百科
搜索
搜索
外观
资助维基百科
创建账号
登录
个人工具
资助维基百科
创建账号
登录
未登录编辑者的页面
了解详情
贡献
讨论
分类
:
递归论
27种语言
العربية
Български
বাংলা
Català
Čeština
Dansk
Deutsch
Ελληνικά
English
Esperanto
Español
Euskara
فارسی
Français
עברית
Italiano
日本語
한국어
Македонски
Português
Slovenčina
Српски / srpski
Svenska
ไทย
Türkçe
Українська
اردو
编辑链接
分类
讨论
大陆简体
不转换
简体
繁體
大陆简体
香港繁體
澳門繁體
大马简体
新加坡简体
臺灣正體
阅读
编辑
查看历史
工具
工具
移至侧栏
隐藏
操作
阅读
编辑
查看历史
常规
链入页面
相关更改
上传文件
特殊页面
固定链接
页面信息
获取短链接
下载二维码
打印/导出
下载为PDF
打印版本
在其他项目中
维基共享资源
维基数据项目
外观
移至侧栏
隐藏
帮助
维基百科,自由的百科全书
页面分类
>
人文学科
>
哲学
>
逻辑
>
计算机逻辑
> 递归论
页面分类
>
人文学科
>
哲学
>
逻辑
>
数理逻辑
> 递归论
本范畴涉及
递归论
,也叫做
可计算性理论
,它是与
可计算函数
概念的推广有关的
数理逻辑
分支,并与
图灵度
这样的概念有关。
维基共享资源
上的相关多媒体资源:
递归论
子分类
本分类有以下5个子分类,共有5个子分类。
J
計算理論
(7个分类, 38个页面)
L
Lambda演算
(17个页面)
图
图灵机
(13个页面)
组
组合子逻辑
(4个页面)
递
递归
(2个分类, 17个页面)
分类“递归论”中的页面
以下34个页面属于本分类,共34个页面。
*
递归论
B
不可解度
Λ
Λ演算
Μ
Μ算子
不
不可判定问题
不可判定问题列表
互
互递归
低
低基定理
停
停机问题
共
共递归
原
原始递归函数
可
可判定性
可計算數
可计算函数
图
图灵机
圖靈完備性
忙
忙碌的海狸
急
急成长阶层
无
无限倒退
柯
柯氏复杂性
决
決定性問題
波
波斯纳–罗宾逊定理
算
算数阶层
组
组合子逻辑
组合范畴语法
缓
缓成长阶层
跳
跳跃逆转定理
递
递归函数
递归可枚举集合
递归定义
递归集合
邱
邱奇-图灵论题
邱奇数
预
預言機
分类
:
数理逻辑
算法
隐藏分类:
使用Catnav的页面
维基共享资源分类链接由本地定义