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