Similar to 形式論理学
意味論 (論理学)
解釈可能性論理
Interpretability logic近傍意味論
Neighborhood semantics
限定
自然種
Natural kind
証明
証明 (数学)
Mathematical proof
証明可能性論理
Provability logic
ソフィスト
Sophist
反例
Counterexample
四値論理
Four-valued logic
量子論理
Quantum logic
アッカーマン関数
Ackermann function
アリティ
Arity
ダウンタック記号
Tee (symbol)
1+1+1+1+…
1 + 1 + 1 + 1 + ⋯
1/2 + 1/4 + 1/8 + 1/16 + ⋯
1/2 + 1/4 + 1/8 + 1/16 + ⋯1/2 − 1/4 + 1/8 − 1/16 + ⋯
1/2 − 1/4 + 1/8 − 1/16 + ⋯1/4 + 1/16 + 1/64 + 1/256 + ⋯
1/4 + 1/16 + 1/64 + 1/256 + ⋯
1/100
Hundredth
QR分解
QR decomposition
RSA暗号
RSA cryptosystem▲1 trends
第8師団 (日本軍)
8th Division (Imperial Japanese Army)
第29師団 (日本軍)
29th Division (Imperial Japanese Army)
0
01
1▲1 trends
2
2
3
3