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