Category:計算理論
再帰
Recursion▲1 trends
停止性問題
Halting problem
計算複雑性理論
Computational complexity theory
ビザンチン将軍問題
Byzantine fault
チャーチ＝チューリングのテーゼ
Church–Turing thesis
アッカーマン関数
Ackermann function
自己言及
Self-reference
数学基礎論
Foundations of mathematics
竹内関数
Tak (function)
コルモゴロフ複雑性
Kolmogorov complexity一階述語論理
First-order logic
マルコフアルゴリズム
Markov algorithm原始再帰関数
Primitive recursive functionゲーデル数
Gödel numbering
帰納的可算集合
Computably enumerable set
ハイパーコンピュータ
Hypercomputation
Μ再帰関数
General recursive function
後向き連鎖
Backward chaining
文字列書き換え系
Semi-Thue system
決定問題
Decision problem前向き連鎖
Forward chaining
計算論的神経科学
Computational neuroscience
非同期セル・オートマトン
Asynchronous cellular automaton
帰納言語
Recursive language
合流性
Confluence (abstract rewriting)
領域理論
Domain theory
チャイティンの定数
Chaitin's constant
相互再帰
Mutual recursion