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