Category:理論計算機科学
再帰的定義
Recursive definition
ゲーム意味論
Game semantics
モデル検査
Model checking
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
二人の将軍問題
Two Generals' Problem
並行論理プログラミング
Concurrent logic programming
ホーン節
Horn clause
グスタフソンの法則
Gustafson's law
マルコフ決定過程
Markov decision process
数学基礎論
Foundations of mathematics
理論計算機科学
Theoretical computer science
形式的検証
Formal verification
ファジィ論理
Fuzzy logicラムダ計算
Lambda calculus
計算複雑性理論
Computational complexity theory
数理論理学
Mathematical logic
チューリングマシン
Turing machine
ゲーデルの不完全性定理
Gödel's incompleteness theorems
アルゴリズム
Algorithm