Category:計算理論
再帰
Recursion▲1 trends
ビザンチン将軍問題
Byzantine fault
停止性問題
Halting problem
竹内関数
Tak (function)
自己言及
Self-reference
マルコフアルゴリズム
Markov algorithmゲーデル数
Gödel numbering
計算論的神経科学
Computational neuroscience
決定問題
Decision problem
チャイティンの定数
Chaitin's constant
計算複雑性理論
Computational complexity theory原始再帰関数
Primitive recursive function
Μ再帰関数
General recursive function
後向き連鎖
Backward chaining
文字列書き換え系
Semi-Thue system
帰納的可算集合
Computably enumerable set
帰納的可算言語
Recursively enumerable language前向き連鎖
Forward chaining
計算モデル
Model of computation項書き換え
Rewriting
非同期セル・オートマトン
Asynchronous cellular automaton
帰納言語
Recursive language
計算等価性原理
A New Kind of Science#Principle of computational equivalence
合流性
Confluence (abstract rewriting)
相互再帰
Mutual recursion
型付きラムダ計算
Typed lambda calculus
ハイパーコンピュータ
Hypercomputation
述語論理
Predicate logic