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