跳至內容
主選單
主選單
移至側邊欄
隱藏
導覽
首頁
分類索引
特色內容
新聞動態
近期變更
隨機條目
資助維基百科
說明
說明
維基社群
方針與指引
互助客棧
知識問答
字詞轉換
IRC即時聊天
聯絡我們
關於維基百科
搜尋
搜尋
建立帳號
登入
個人工具
建立帳號
登入
用於已登出編輯者的頁面
了解更多
貢獻
討論
分類
:
遞歸論
27 種語言
العربية
Български
বাংলা
Català
Čeština
Dansk
Deutsch
Ελληνικά
English
Esperanto
Español
Euskara
فارسی
Français
עברית
Italiano
日本語
한국어
Македонски
Português
Slovenčina
Српски / srpski
Svenska
ไทย
Türkçe
Українська
اردو
編輯連結
分類
討論
臺灣正體
不转换
简体
繁體
大陆简体
香港繁體
澳門繁體
大马简体
新加坡简体
臺灣正體
閱讀
編輯
檢視歷史
工具
工具
移至側邊欄
隱藏
操作
閱讀
編輯
檢視歷史
一般
連結至此的頁面
相關變更
上傳檔案
特殊頁面
固定連結
頁面資訊
取得短網址
下載QR碼
維基數據項目
列印/匯出
下載為PDF
可列印版
其他專案
維基共享資源
說明
維基百科,自由的百科全書
頁面分類
>
人文學科
>
哲學
>
邏輯
>
計算機邏輯
> 遞歸論
頁面分類
>
人文學科
>
哲學
>
邏輯
>
數理邏輯
> 遞歸論
本範疇涉及
遞歸論
,也叫做
可計算性理論
,它是與
可計算函數
概念的推廣有關的
數理邏輯
分支,並與
圖靈度
這樣的概念有關。
維基共享資源
上的相關多媒體資源:
遞歸論
子分類
此分類包含以下 5 個子分類,共 5 個。
J
計算理論
(7個分類, 38個頁面)
L
Lambda演算
(17個頁面)
圖
图灵机
(13個頁面)
組
组合子逻辑
(4個頁面)
遞
递归
(2個分類, 17個頁面)
「遞歸論」分類的頁面
此分類包含以下 33 個頁面,共 33 個。
*
递归论
B
不可解度
Λ
Λ演算
Μ
Μ算子
不
不可判定问题
不可判定问题列表
互
互递归
低
低基定理
停
停机问题
共
共递归
原
原始递归函数
可
可判定性
可計算數
可计算函数
圖
图灵机
圖靈完備性
忙
忙碌的海狸
急
急成长阶层
柯
柯氏复杂性
決
決定性問題
波
波斯纳–罗宾逊定理
算
算数阶层
組
组合子逻辑
组合范畴语法
緩
缓成长阶层
跳
跳跃逆转定理
遞
递归函数
递归可枚举集合
递归定义
递归集合
邱
邱奇-图灵论题
邱奇数
預
預言機
分類
:
數理邏輯
算法
隱藏分類:
使用Catnav的頁面
維基共享資源分類連結由本地定義
切換限制內容寬度