Similar to 帰納言語
帰納的可算言語
Recursively enumerable language原始再帰関数
Primitive recursive function
項書き換え
Rewriting
合流性
Confluence (abstract rewriting)再帰
Recursion
不動点コンビネータ
Fixed-point combinator
Μ再帰関数
General recursive function
アッカーマン関数
Ackermann function一階述語論理
First-order logic
オートマトン
Automata theory
帰納的可算集合
Computably enumerable set
計算可能関数
Computable functionゲーデル数
Gödel numbering
述語論理
Predicate logic
数学基礎論
Foundations of mathematics
相互再帰
Mutual recursion
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
アルゴリズム
Algorithm▲1 trends
形式体系
Formal system構成規則
Formation rule
論理式 (数学)
Logical formula
Annals of Mathematics
Annals of Mathematics
Axiom (数式処理システム)
Axiom (computer algebra system)
L-system
L-system
Mizar
Mizar system
アルファベット (計算機科学)
Alphabet (formal languages)
左再帰
Left recursion