Category:計算理論
再帰
Recursion▲1 trends一階述語論理
First-order logic
述語論理
Predicate logic
竹内関数
Tak (function)
数学基礎論
Foundations of mathematics
不動点コンビネータ
Fixed-point combinator
漸化式
Recurrence relation
計算理論
Theory of computation
Μ再帰関数
General recursive function
自己言及
Self-reference
計算可能関数
Computable function
チャイティンの定数
Chaitin's constant
ワンのタイル
Wang tile
ビジービーバー
Busy beaver
停止性問題
Halting problem
ノモグラム
Nomogram
領域理論
Domain theory
非同期セル・オートマトン
Asynchronous cellular automaton
決定問題
Decision problem原始再帰関数
Primitive recursive function
帰納言語
Recursive language
項書き換え
Rewriting
相互再帰
Mutual recursionゲーデル数
Gödel numbering
帰納的可算言語
Recursively enumerable language
スーダン関数
Sudan function
マルコフアルゴリズム
Markov algorithm
計算モデル
Model of computation