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