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