Category:計算理論
ゲーデル数
Gödel numbering▲1 trends
計算可能数
Computable number
ビザンチン将軍問題
Byzantine fault
自己言及
Self-reference
領域理論
Domain theory
相互再帰
Mutual recursion原始再帰関数
Primitive recursive function
計算可能関数
Computable function
計算複雑性理論
Computational complexity theory
非同期セル・オートマトン
Asynchronous cellular automaton
計算論的哲学
Computational philosophy
文字列書き換え系
Semi-Thue system
後向き連鎖
Backward chaining
ハイパーコンピュータ
Hypercomputation前向き連鎖
Forward chaining
帰納言語
Recursive language項書き換え
Rewriting
計算等価性原理
A New Kind of Science#Principle of computational equivalence
チャイティンの定数
Chaitin's constant
EDVACに関する報告書の第一草稿
First Draft of a Report on the EDVAC
型付きラムダ計算
Typed lambda calculus
マルコフアルゴリズム
Markov algorithm
スーダン関数
Sudan function
Μ再帰関数
General recursive function
オートマトン
Automata theory
帰納的可算集合
Computably enumerable set
ワンのタイル
Wang tile
帰納的可算言語
Recursively enumerable language