Category:理論計算機科学
モデル検査
Model checking
形式言語の階層
ヨセフスの問題
Josephus problem
カリー＝ハワード同型対応
Curry–Howard correspondence
ロジャー・シャンク
Roger Schank
公理的意味論
Axiomatic semantics
失敗による否定
Negation as failure
クヌース賞
Knuth Prize
計算論的哲学
Computational philosophy
アルファベット (計算機科学)
Alphabet (formal languages)
表明 (プログラミング)
Assertion (software development)
ゲーム意味論
Game semantics
弱文脈依存言語
Mildly context-sensitive grammar formalism
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
ラフ集合
Rough set
双模倣性
Bisimulation
述語変換意味論
Predicate transformer semantics
ホーン節
Horn clause
制約論理プログラミング
Constraint logic programming
二人の将軍問題
Two Generals' Problem
形式的検証
Formal verification閉世界仮説
Closed-world assumption
グスタフソンの法則
Gustafson's law
並行制約プログラミング
Concurrent constraint logic programming
Mizar
Mizar system
計算木論理
Computation tree logic
部分観測マルコフ決定過程
Partially observable Markov decision process形式言語
Formal language