Similar to 数学基礎論
チューリングマシン
Turing machineデジタル物理学
Digital physics
表明 (プログラミング)
Assertion (software development)
ファジィ論理
Fuzzy logic
二人の将軍問題
Two Generals' Problem
部分観測マルコフ決定過程
Partially observable Markov decision process
プログラム意味論
Semantics (computer science)閉世界仮説
Closed-world assumption
ホーン節
Horn clause
モデル検査
Model checking
ヨセフスの問題
Josephus problem
ラフ集合
Rough set
一般と特殊 (数学)
Special case
エルブランの定理
Herbrand's theorem
型理論
Type theory
カット除去定理
Cut-elimination theorem
関係 (数学)
Finitary relation
関係代数 (数学)
Relation algebra
関係の合成
Composition of relations
完全関係
Connected relation
完全性
Completeness (logic)
記述計算量
Descriptive complexity theory
逆関係
Converse relation
逆数学
Reverse mathematics
吸収法則
Absorption law
強制法
Forcing (mathematics)
ギルモアのアルゴリズム
議論領域
Domain of discourse