Category:計算理論

頁面分類 > 人类社会 > 知識 > 学科 > 数学 > 計算理論

此页面分类的主条目是計算理論。

子类

该分类中有5个子类。

形

[+] 形式方法
[+] 形式语言

自

[+] 自动机

计

[+] 計算複雜性理論
[+] 計算機算術

“計算理論”分类中的条目

这个分类中有23个条目。

B

B,C,K,W系统

S

SKI组合子演算

Λ

Λ演算

决

決定性問題

可

图

图灵完全

形

形式语义学

抽

抽象機器

指

指称语义

柯

柯氏复杂性

简

系

系统F

组

组合子逻辑

计

递

邱

邱奇-图灵论题

阿

阿克曼函數

来自“http://www.wikilib.com/wiki/Category:%E8%A8%88%E7%AE%97%E7%90%86%E8%AB%96”

2个分类: 数学 | 计算机科学基础理论