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