Category:計算理論
帰納的可算集合
Computably enumerable setゲーデル数
Gödel numbering
述語論理
Predicate logic再帰
Recursion
後向き連鎖
Backward chaining
領域理論
Domain theory
文字列書き換え系
Semi-Thue system前向き連鎖
Forward chaining
スーダン関数
Sudan function
計算等価性原理
A New Kind of Science#Principle of computational equivalence原始再帰関数
Primitive recursive function
帰納的可算言語
Recursively enumerable language
計算論的神経科学
Computational neuroscience
非同期セル・オートマトン
Asynchronous cellular automaton
相互再帰
Mutual recursion
計算論的哲学
Computational philosophy
マルコフアルゴリズム
Markov algorithm
帰納言語
Recursive language
EDVACに関する報告書の第一草稿
First Draft of a Report on the EDVAC
ワンのタイル
Wang tile項書き換え
Rewriting
アッカーマン関数
Ackermann function
竹内関数
Tak (function)
計算可能関数
Computable function
ノモグラム
Nomogram
ハイパーコンピュータ
Hypercomputation
数学基礎論
Foundations of mathematics
合流性
Confluence (abstract rewriting)