Similar to 計算可能関数
Μ再帰関数
General recursive function
アッカーマン関数
Ackermann function一階述語論理
First-order logic
帰納言語
Recursive language
帰納的可算言語
Recursively enumerable language
帰納的可算集合
Computably enumerable setゲーデル数
Gödel numbering原始再帰関数
Primitive recursive function
項書き換え
Rewriting
合流性
Confluence (abstract rewriting)再帰
Recursion
述語論理
Predicate logic
数学基礎論
Foundations of mathematics
不動点コンビネータ
Fixed-point combinator
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
アルゴリズム
Algorithm▲1 trends
2の12乗根
Twelfth root of two
Ba空間
Ba space
Calculus on Manifolds (書籍)
Calculus on Manifolds (book)
D-加群
D-module
ESPACE
ESPACEGrundzüge der Mengenlehre
Grundzüge der Mengenlehre
Gδ集合
Gδ set
0
0
1
1
2
2
3
3