Similar to ビザンチン将軍問題
分散コンピューティング
Distributed computing
シェアード・ナッシング・アーキテクチャ
Shared-nothing architecture
信頼性
Reliability
RAMS規格
Reliability, availability, maintainability and safety
単一障害点
Single point of failure
フォールトトレラントシステム
Fault tolerance
計算理論
Theory of computation
EDVACに関する報告書の第一草稿
First Draft of a Report on the EDVAC
アッカーマン関数
Ackermann function一階述語論理
First-order logic
後向き連鎖
Backward chaining
オートマトン
Automata theory
型付きラムダ計算
Typed lambda calculus
帰納言語
Recursive language
帰納的可算言語
Recursively enumerable language
帰納的可算集合
Computably enumerable set
計算可能関数
Computable function
計算可能数
Computable number
計算等価性原理
A New Kind of Science#Principle of computational equivalence
計算複雑性理論
Computational complexity theory
計算モデル
Model of computation
計算論的神経科学
Computational neuroscience
計算論的哲学
Computational philosophyゲーデル数
Gödel numbering
決定問題
Decision problem原始再帰関数
Primitive recursive function
項書き換え
Rewriting
合流性
Confluence (abstract rewriting)