Similar to 再帰
帰納言語
Recursive language原始再帰関数
Primitive recursive function
不動点コンビネータ
Fixed-point combinator一階述語論理
First-order logic
帰納的可算言語
Recursively enumerable language
帰納的可算集合
Computably enumerable set
計算可能関数
Computable functionゲーデル数
Gödel numbering
項書き換え
Rewriting
合流性
Confluence (abstract rewriting)
述語論理
Predicate logic
数学基礎論
Foundations of mathematics
Μ再帰関数
General recursive function
自己言及
Self-reference
相互再帰
Mutual recursion
数理論理学
Mathematical logic
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
アルゴリズム
Algorithm
一般と特殊 (数学)
Special case
意味論 (論理学)
宇宙 (数学)
Universe (mathematics)
エルブランの定理
Herbrand's theorem
型理論
Type theory
カット除去定理
Cut-elimination theorem
関係 (数学)
Finitary relation
関係代数 (数学)
Relation algebra
関係の合成
Composition of relations