Category:計算理論
再帰
Recursion停止性問題
Halting problem一階述語論理
First-order logic計算複雑性理論
Computational complexity theoryオートマトン
Automata theoryチューリング完全
Turing completeness竹内関数
Tak (function)アッカーマン関数
Ackermann function述語論理
Predicate logicビザンチン将軍問題
Byzantine fault数学基礎論
Foundations of mathematics計算理論
Theory of computationチャーチ=チューリングのテーゼ
Church–Turing thesis計算可能関数
Computable function型付きラムダ計算
Typed lambda calculus原始再帰関数
Primitive recursive functionEDVACに関する報告書の第一草稿
First Draft of a Report on the EDVAC計算モデル
Model of computationΜ再帰関数
General recursive functionノモグラム
Nomogram後向き連鎖
Backward chaining決定問題
Decision problem項書き換え
Rewriting計算論的神経科学
Computational neuroscience領域理論
Domain theory自己言及
Self-reference計算可能数
Computable number漸化式
Recurrence relation