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