Category:理論計算機科学
数学基礎論
Foundations of mathematics
ゲーデルの不完全性定理
Gödel's incompleteness theorems
論理プログラミング
Logic programming
マルコフ決定過程
Markov decision process
Mizar
Mizar systemデジタル物理学
Digital physics
理論計算機科学
Theoretical computer science
双模倣性
Bisimulation
グスタフソンの法則
Gustafson's law
ロジャー・シャンク
Roger Schank
計算理論
Theory of computation閉世界仮説
Closed-world assumption
モデル検査
Model checking
並行制約プログラミング
Concurrent constraint logic programming
ゲーム意味論
Game semantics
並行論理プログラミング
Concurrent logic programming
二人の将軍問題
Two Generals' Problem
計算木論理
Computation tree logic
計算論的哲学
Computational philosophy
クヌース賞
Knuth Prize
アルファベット (計算機科学)
Alphabet (formal languages)
形式言語の階層
公理的意味論
Axiomatic semantics
表明 (プログラミング)
Assertion (software development)
弱文脈依存言語
Mildly context-sensitive grammar formalism
ラフ集合
Rough set
失敗による否定
Negation as failure
制約論理プログラミング
Constraint logic programming