Category:理論計算機科学
部分観測マルコフ決定過程
Partially observable Markov decision process
二人の将軍問題
Two Generals' Problem
マルコフ決定過程
Markov decision process
プログラム意味論
Semantics (computer science)
形式的検証
Formal verification
コンビネータ論理
Combinatory logic
ホーン節
Horn clause
計算複雑性理論
Computational complexity theory
不動点コンビネータ
Fixed-point combinator
形式言語
Formal language
ヨセフスの問題
Josephus problem
M系列
Maximum length sequence
形式手法
Formal methods
論理プログラミング
Logic programming
カリー＝ハワード同型対応
Curry–Howard correspondence
ファジィ論理
Fuzzy logic
ゲーデルの不完全性定理
Gödel's incompleteness theorems
チューリングマシン
Turing machine
アルゴリズム
Algorithm▼-1 trends