計算理論
- 抽象機
- 演算法
- 演算法複雜度
- 演算法學
- 自動機理論
- 自動集
- 自動機
- Blum 加速定理
- 分支圖
- 分支空間
- 因果圖
- 因果不變性
- 因果網路
- Chaitin 常數
- Chaitin 數
- Chaitin 的 Omega
- Chaitin Omega 數
- Church 論題
- Church-Turing 論題
- 可計算數
- 計算
- 計算時間
- 計算不可約性
- 計算正規化
- 計算可約性
- 概念
- 可建構函式
- 創造集
- 確定性的
- 編碼
- 摺疊函式
- 一般遞迴函式
- 哥德爾數
- 停機問題
- 迭代定理
- Kleene 遞迴定理
- Kleene s-m-n 定理
- 機器
- 多對一完備
- 數學正規化
- McCarthy 91 函式
- 多重計算
- 多重計算正規化
- 多重計算過程
- 多重計算系統
- 被乘數
- 多路圖
- 多路系統
- 非確定性圖靈機
- 一對一完備
- 配對函式
- 偏遞迴函式
- Paterson 蠕蟲
- 原始遞迴函式
- 計算等價原理
- 生產集
- Rabin 壓縮定理
- 遞迴函式
- 遞迴集
- 遞迴可列舉集
- 遞迴同構
- 遞迴不可判定
- 可歸約的
- Rice 定理
- Ruliad
- 破碎集
- 完全遞迴函式
- 圖靈機
- 通用細胞自動機
- 通用圖靈機
- 普遍性
- Vapnik-Chervonenkis 維度
- 虛擬機器