Category:計算理論
再帰
Recursion▲1 trends停止性問題
Halting problem一階述語論理
First-order logic竹内関数
Tak (function)計算複雑性理論
Computational complexity theory述語論理
Predicate logic計算可能関数
Computable function型付きラムダ計算
Typed lambda calculusチャーチ=チューリングのテーゼ
Church–Turing thesis計算理論
Theory of computationアッカーマン関数
Ackermann functionEDVACに関する報告書の第一草稿
First Draft of a Report on the EDVAC数学基礎論
Foundations of mathematics後向き連鎖
Backward chaining計算モデル
Model of computationオートマトン
Automata theory原始再帰関数
Primitive recursive function領域理論
Domain theoryΜ再帰関数
General recursive functionビザンチン将軍問題
Byzantine fault決定問題
Decision problem帰納的可算集合
Computably enumerable set合流性
Confluence (abstract rewriting)チャイティンの定数
Chaitin's constantビジービーバー
Busy beaverノモグラム
Nomogram漸化式
Recurrence relation帰納言語
Recursive language