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