Category:計算理論
領域理論
Domain theory
アッカーマン関数
Ackermann function
チャイティンの定数
Chaitin's constant
計算可能数
Computable number
ビジービーバー
Busy beaver
竹内関数
Tak (function)原始再帰関数
Primitive recursive function
ノモグラム
Nomogram
コルモゴロフ複雑性
Kolmogorov complexity
計算理論
Theory of computation
EDVACに関する報告書の第一草稿
First Draft of a Report on the EDVAC
前向き連鎖
Forward chaining
計算モデル
Model of computation
帰納的可算集合
Computably enumerable set
計算複雑性理論
Computational complexity theory
相互再帰
Mutual recursion
スーダン関数
Sudan function
計算論的哲学
Computational philosophy
文字列書き換え系
Semi-Thue system
計算等価性原理
A New Kind of Science#Principle of computational equivalence後向き連鎖
Backward chaining
非同期セル・オートマトン
Asynchronous cellular automaton
ワンのタイル
Wang tile
帰納言語
Recursive language
合流性
Confluence (abstract rewriting)
計算可能関数
Computable function
型付きラムダ計算
Typed lambda calculus
決定問題
Decision problem