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