Category:計算理論
数学基礎論
Foundations of mathematics
ビジービーバー
Busy beaver
決定問題
Decision problem
項書き換え
Rewriting
計算等価性原理
A New Kind of Science#Principle of computational equivalence
後向き連鎖
Backward chaining文字列書き換え系
Semi-Thue system
スーダン関数
Sudan function前向き連鎖
Forward chaining
竹内関数
Tak (function)
帰納言語
Recursive language
非同期セル・オートマトン
Asynchronous cellular automaton
ワンのタイル
Wang tile
相互再帰
Mutual recursion
計算論的哲学
Computational philosophy
帰納的可算言語
Recursively enumerable language
EDVACに関する報告書の第一草稿
First Draft of a Report on the EDVAC
計算モデル
Model of computation
領域理論
Domain theory
計算可能数
Computable number
マルコフアルゴリズム
Markov algorithm
計算論的神経科学
Computational neuroscience
合流性
Confluence (abstract rewriting)
ハイパーコンピュータ
Hypercomputation
ビザンチン将軍問題
Byzantine fault
漸化式
Recurrence relation
Μ再帰関数
General recursive function
コルモゴロフ複雑性
Kolmogorov complexity