Category:递归论

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

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

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

子类

该分类中有1个子类。

自

[+] 自动机

“递归论”分类中的条目

这个分类中有26个条目。

*

递归论

B

C

Church数

S

SKI组合子演算

Λ

Λ演算

Μ

Μ算子

不

不动点组合子

决

決定性問題

原

原始递归函数

可

图

构

构造演算

柯

柯氏复杂性

简

简单类型 Lambda 演算

简续

简单类型lambda演算

系

系统F

组

组合子逻辑

规

规范化性质

递

邱

邱奇-图灵论题

高

高阶函数

来自“http://nvjiang.movieclub.com.cn/wiki/Category:%E9%80%92%E5%BD%92%E8%AE%BA”

2个分类: 數理邏輯 | 计算机逻辑