Category:递归论

頁面分類 > 人文學科 > 哲学 > 邏輯 > 计算机逻辑 > 递归论

頁面分類 > 人文學科 > 哲学 > 邏輯 > 數理邏輯 > 递归论

本范畴涉及递归论，也叫做可计算性理论，它是与可计算函数概念的推广有关的数理逻辑分支，并与图灵度这样的概念有关。

维基共享资源上的相关多媒体资源：递归论

子分类

本分类有以下5个子分类，共有5个子分类。

J

計算理論 (7个分类， 38个页面)

L

Lambda演算 (17个页面)

图

图灵机 (13个页面)

组

组合子逻辑 (4个页面)

递

递归 (2个分类， 17个页面)

分类“递归论”中的页面

以下34个页面属于本分类，共34个页面。

*

递归论

B

不可解度

Λ

Λ演算

Μ

Μ算子

不

互

互递归

低

低基定理

停

停机问题

共

共递归

原

原始递归函数

可

图

图灵机

圖

圖靈完備性

忙

忙碌的海狸

急

急成长阶层

无

无限倒退

柯

柯氏复杂性

決

決定性問題

波

波斯纳–罗宾逊定理

算

算数阶层

组

缓

缓成长阶层

跳

跳跃逆转定理

递

邱

預

預言機

检索自“https://zh.wikipedia.org/w/index.php?title=Category:递归论&oldid=25781610”