Category:理論計算機科学
数理論理学
Mathematical logic
モデル検査
Model checking
形式言語の階層
形式手法
Formal methods
ゲーム意味論
Game semantics
ロジャー・シャンク
Roger Schank
公理的意味論
Axiomatic semantics
数学基礎論
Foundations of mathematics
クヌース賞
Knuth Prize
失敗による否定
Negation as failure
並行論理プログラミング
Concurrent logic programming
Mizar
Mizar system
計算論的哲学
Computational philosophy
アルファベット (計算機科学)
Alphabet (formal languages)
表明 (プログラミング)
Assertion (software development)
弱文脈依存言語
Mildly context-sensitive grammar formalism
カリー＝ハワード同型対応
Curry–Howard correspondence
形式的検証
Formal verification
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
ラフ集合
Rough set
双模倣性
Bisimulation
述語変換意味論
Predicate transformer semantics再帰的定義
Recursive definition
並行制約プログラミング
Concurrent constraint logic programming
部分観測マルコフ決定過程
Partially observable Markov decision process
論理プログラミング
Logic programming
制約論理プログラミング
Constraint logic programming
コンビネータ論理
Combinatory logic