Similar to 二人の将軍問題
チューリングマシン
Turing machineデジタル物理学
Digital physics
表明 (プログラミング)
Assertion (software development)
ファジィ論理
Fuzzy logic
不動点コンビネータ
Fixed-point combinator
部分観測マルコフ決定過程
Partially observable Markov decision process
プログラム意味論
Semantics (computer science)
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming閉世界仮説
Closed-world assumption
ホーン節
Horn clause
マルコフ決定過程
Markov decision process
Mizar
Mizar system
モデル検査
Model checking
ヨセフスの問題
Josephus problem
ラフ集合
Rough setラムダ計算
Lambda calculus
論理プログラミング
Logic programming