Similar to 再帰
50
50 (number)70
70 (number)
計算理論
Theory of computation
EDVACに関する報告書の第一草稿
First Draft of a Report on the EDVAC
アッカーマン関数
Ackermann function
後向き連鎖
Backward chaining
オートマトン
Automata theory
型付きラムダ計算
Typed lambda calculus
計算可能数
Computable number
計算等価性原理
A New Kind of Science#Principle of computational equivalence
計算複雑性理論
Computational complexity theory
計算モデル
Model of computation
計算論的神経科学
Computational neuroscience
計算論的哲学
Computational philosophy
決定問題
Decision problem
コルモゴロフ複雑性
Kolmogorov complexity
スーダン関数
Sudan function
漸化式
Recurrence relation
竹内関数
Tak (function)
チャイティンの定数
Chaitin's constant
チャーチ＝チューリングのテーゼ
Church–Turing thesis
チューリング完全
Turing completeness▼-6 trends
停止性問題
Halting problem
ノモグラム
Nomogram
ハイパーコンピュータ
Hypercomputation
ビザンチン将軍問題
Byzantine fault
ビジービーバー
Busy beaver
非同期セル・オートマトン
Asynchronous cellular automaton
