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
マルコフ決定過程
Markov decision process
モデル検査
Model checking
ヨセフスの問題
Josephus problem
ラフ集合
Rough set一階述語論理
First-order logic
一般と特殊 (数学)
Special case意味論 (論理学)
Semantics
宇宙 (数学)
Universe (mathematics)
型理論
Type theory
カット除去定理
Cut-elimination theorem
関係 (数学)
Finitary relation
関係代数 (数学)
Relation algebra
関係の合成
Composition of relations
完全関係
Connected relation
完全性
Completeness (logic)
カントールの往復論法
Back-and-forth method
記述計算量
Descriptive complexity theory
帰納言語
Recursive language
帰納的可算言語
Recursively enumerable language