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