Similar to ブール関数
アルゴリズム
Algorithm
2002年アメリカグランプリ
2002 United States Grand Prix
3の平方根
Square root of 34次元
Four-dimensional space
5の平方根
Square root of 5
5次元
Five-dimensional space
6次元
Six-dimensional space
BPP (計算複雑性理論)
BPP (complexity)
E8 (数学)
E8 (mathematics)
N連結
Homotopical connectivity
Z検定
Z-test
Ω-論理
Ω-logic
リチャード・アスキー
Richard Askey
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
エルブランの定理
Herbrand's theorem
ギルモアのアルゴリズム
グッドスタインの定理
Goodstein's theorem
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
ゲーデルの完全性定理
Gödel's completeness theorem
ゲーデルの不完全性定理
Gödel's incompleteness theorems
タルスキの定義不可能性定理
Tarski's undefinability theorem
チューリング次数
Turing degree
チューリングジャンプ
Turing jump
ブール代数
Boolean algebra (structure)
ブール値関数
Boolean-valued function
ブール領域
Boolean domain
Μ再帰関数
General recursive function
