Similar to 後者関数
プリンキピア・マテマティカ
Principia Mathematica
メレオロジー
Mereology
有限モデル理論
Finite model theory
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
アルゴリズム
Algorithm▼-1 trends
Μ再帰関数
General recursive function
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
0
01
1▼-7 trends
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
1048576
12345679
Guarded Horn Clauses
Prolog
Prolog
順序回路
Sequential logic
直観主義型理論
Intuitionistic type theory