Category:計算理論
再帰
Recursion▲1 trends
停止性問題
Halting problem
チャーチ＝チューリングのテーゼ
Church–Turing thesis
計算複雑性理論
Computational complexity theory
ビザンチン将軍問題
Byzantine fault一階述語論理
First-order logic
オートマトン
Automata theory
コルモゴロフ複雑性
Kolmogorov complexity
数学基礎論
Foundations of mathematics
述語論理
Predicate logicゲーデル数
Gödel numbering
計算理論
Theory of computation
EDVACに関する報告書の第一草稿
First Draft of a Report on the EDVAC
計算論的神経科学
Computational neuroscience
決定問題
Decision problem
後向き連鎖
Backward chaining
文字列書き換え系
Semi-Thue system
ハイパーコンピュータ
Hypercomputation前向き連鎖
Forward chaining
アッカーマン関数
Ackermann function
スーダン関数
Sudan function
帰納言語
Recursive language
ワンのタイル
Wang tile
相互再帰
Mutual recursion
計算等価性原理
A New Kind of Science#Principle of computational equivalence
非同期セル・オートマトン
Asynchronous cellular automaton
合流性
Confluence (abstract rewriting)
計算論的哲学
Computational philosophy