Similar to デジタル物理学
ロジャー・シャンク
Roger Schank
述語変換意味論
Predicate transformer semantics
数学基礎論
Foundations of mathematics
数理論理学
Mathematical logic
制約論理プログラミング
Constraint logic programming
双模倣性
Bisimulation
チューリングマシン
Turing machine
表明 (プログラミング)
Assertion (software development)
ファジィ論理
Fuzzy logic
二人の将軍問題
Two Generals' Problem
不動点コンビネータ
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
理論物理学
Theoretical physics
Weakly interacting massive particles
Weakly interacting massive particleアインシュタインの原論文
因果集合
Causal sets
