Similar to ゲーデル数
帰納的可算集合
Computably enumerable set
計算可能関数
Computable function原始再帰関数
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
ゲーデルの完全性定理
Gödel's completeness theorem
ゲーデルの不完全性定理
Gödel's incompleteness theorems
再帰理論
ギアリング級駆逐艦
Gearing-class destroyer
デアリング級駆逐艦
Daring-class destroyer (1949)
バトル級駆逐艦
Battle-class destroyer
第1騎兵師団 (アメリカ軍)
1st Cavalry Division (United States)
第1軍 (アメリカ軍)
First Army (United States)
第6SS山岳師団
6th SS Mountain Division Nord
コルグ・01/Wシリーズ
Korg 01/W
第12SS装甲師団
12th SS Panzer Division Hitlerjugend
第18空挺軍団 (アメリカ軍)
XVIII Airborne Corps第3軍 (アメリカ軍)
United States Army Central第7SS義勇山岳師団
7th SS Volunteer Mountain Division Prinz Eugen
1000年
AD 1000
第101空挺師団 (アメリカ軍)
101st Airborne Division