Category:理論計算機科学
ラムダ計算
Lambda calculus
チューリングマシン
Turing machine
マルコフ決定過程
Markov decision process
計算複雑性理論
Computational complexity theory
ファジィ論理
Fuzzy logic
数学基礎論
Foundations of mathematics
カリー＝ハワード同型対応
Curry–Howard correspondence
数理論理学
Mathematical logic
コンビネータ論理
Combinatory logic
M系列
Maximum length sequence
形式的検証
Formal verification
形式言語
Formal languageデジタル物理学
Digital physics
ホーン節
Horn clause
モデル検査
Model checking再帰的定義
Recursive definition
Mizar
Mizar system閉世界仮説
Closed-world assumption
形式手法
Formal methods
計算理論
Theory of computation
並行論理プログラミング
Concurrent logic programming
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
クヌース賞
Knuth Prize
二人の将軍問題
Two Generals' Problem
失敗による否定
Negation as failure
ラフ集合
Rough set
双模倣性
Bisimulation
グスタフソンの法則
Gustafson's law