Similar to ハイティング代数
第39独立自動車化狙撃旅団
39th Separate Guards Motor Rifle Brigade
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
デデキント数
Dedekind number
アッカーマン関数
Ackermann function
アリティ
Arity
型理論
Type theory
カット除去定理
Cut-elimination theorem
議論領域
Domain of discourseクレイグの補間定理
Craig interpolation
後者関数
Successor function
恒真式
Tautology (logic)
ハルモス代数
Polyadic algebra
プリンキピア・マテマティカ
Principia Mathematica
メレオロジー
Mereology
有限モデル理論
Finite model theory
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
アルゴリズム
Algorithm▲1 trends
