Similar to 後者関数
アッカーマン関数
Ackermann function
線形論理
Linear logic
第1独立特務旅団 (ウクライナ領土防衛隊)
1st Special Purpose Brigade (Ukraine)
利用者:200z/sandbox5
6PPD
6PPD
911番
911 (emergency telephone number)
BFGS法
Broyden–Fletcher–Goldfarb–Shanno algorithmL-BFGS法
Limited-memory BFGS
QR分解
QR decomposition
0の0乗
Zero to the power of zero
スーダン関数
Sudan function
2の冪
Power of two
第1軍団 (韓国陸軍)
I Corps (South Korea)
10.5インチiPad Pro
1の分割
Partition of unity
Annals of Mathematics
Annals of Mathematics
Axiom (数式処理システム)
Axiom (computer algebra system)
アリティ
Arity
型理論
Type theory
カット除去定理
Cut-elimination theorem
議論領域
Domain of discourseクレイグの補間定理
Craig interpolation
恒真式
Tautology (logic)
ハイティング代数
Heyting algebraハルモス代数
Polyadic algebra
プリンキピア・マテマティカ
Principia Mathematica
メレオロジー
Mereology
有限モデル理論
Finite model theory