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