Category:計算理論
再帰
Recursion▲1 trends一階述語論理
First-order logic
竹内関数
Tak (function)
述語論理
Predicate logic
漸化式
Recurrence relation
不動点コンビネータ
Fixed-point combinator
数学基礎論
Foundations of mathematicsゲーデル数
Gödel numbering
Μ再帰関数
General recursive function
チャイティンの定数
Chaitin's constant
ビジービーバー
Busy beaver
計算可能関数
Computable function
計算モデル
Model of computation
オートマトン
Automata theory
ビザンチン将軍問題
Byzantine fault
アッカーマン関数
Ackermann function
領域理論
Domain theory原始再帰関数
Primitive recursive function
項書き換え
Rewriting
決定問題
Decision problem
非同期セル・オートマトン
Asynchronous cellular automaton
マルコフアルゴリズム
Markov algorithm
自己言及
Self-reference
計算理論
Theory of computation
帰納言語
Recursive language
計算等価性原理
A New Kind of Science#Principle of computational equivalence文字列書き換え系
Semi-Thue system
計算論的哲学
Computational philosophy