Category:計算理論
前向き連鎖
Forward chaining
スーダン関数
Sudan function
ワンのタイル
Wang tile
計算モデル
Model of computation後向き連鎖
Backward chaining
マルコフアルゴリズム
Markov algorithm
ハイパーコンピュータ
Hypercomputation
決定問題
Decision problem
竹内関数
Tak (function)
コルモゴロフ複雑性
Kolmogorov complexityゲーデル数
Gödel numbering
不動点コンビネータ
Fixed-point combinator
ビジービーバー
Busy beaver
Μ再帰関数
General recursive function
計算可能関数
Computable function
述語論理
Predicate logic
チャーチ＝チューリングのテーゼ
Church–Turing thesis原始再帰関数
Primitive recursive function
オートマトン
Automata theory