Category:理論計算機科学
チューリングマシン
Turing machine▲1 trends
計算複雑性理論
Computational complexity theory
カリー＝ハワード同型対応
Curry–Howard correspondenceラムダ計算
Lambda calculus
コンビネータ論理
Combinatory logic
形式的検証
Formal verification
ホーン節
Horn clause
形式言語
Formal language
ファジィ論理
Fuzzy logic
グスタフソンの法則
Gustafson's law
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
Mizar
Mizar system
並行論理プログラミング
Concurrent logic programming
マルコフ決定過程
Markov decision process
M系列
Maximum length sequence
ラフ集合
Rough set
ゲーム意味論
Game semantics
双模倣性
Bisimulation
クヌース賞
Knuth Prize
不動点コンビネータ
Fixed-point combinator
ロジャー・シャンク
Roger Schank
二人の将軍問題
Two Generals' Problem
計算論的哲学
Computational philosophy
アルファベット (計算機科学)
Alphabet (formal languages)
計算木論理
Computation tree logic
表明 (プログラミング)
Assertion (software development)
制約論理プログラミング
Constraint logic programming
失敗による否定
Negation as failure