Category:計算理論
領域理論
Domain theory
EDVACに関する報告書の第一草稿
First Draft of a Report on the EDVAC
計算理論
Theory of computation
チャイティンの定数
Chaitin's constant
ノモグラム
Nomogram
コルモゴロフ複雑性
Kolmogorov complexity
述語論理
Predicate logic
ビザンチン将軍問題
Byzantine fault
不動点コンビネータ
Fixed-point combinator
数学基礎論
Foundations of mathematics
計算可能関数
Computable functionゲーデル数
Gödel numbering
アッカーマン関数
Ackermann function
オートマトン
Automata theory
竹内関数
Tak (function)
漸化式
Recurrence relation
チューリング完全
Turing completeness一階述語論理
First-order logic再帰
Recursion