Category:計算理論
ノモグラム
Nomogram
スーダン関数
Sudan function
前向き連鎖
Forward chaining
ワンのタイル
Wang tile
帰納的可算言語
Recursively enumerable language
計算論的哲学
Computational philosophy
計算可能数
Computable number
帰納的可算集合
Computably enumerable set
EDVACに関する報告書の第一草稿
First Draft of a Report on the EDVAC
項書き換え
Rewriting
決定問題
Decision problem原始再帰関数
Primitive recursive function
計算複雑性理論
Computational complexity theory
数学基礎論
Foundations of mathematics
ビザンチン将軍問題
Byzantine fault
オートマトン
Automata theory再帰
Recursion
アッカーマン関数
Ackermann function
チューリング完全
Turing completeness