Similar to 一階述語論理
述語論理
Predicate logic
Μ再帰関数
General recursive function
議論領域
Domain of discourse原子論理式
Atomic formula
高階述語論理
Higher-order logic
二階述語論理
Second-order logic
フーリエ・モツキンの消去法
Fourier–Motzkin elimination
命題関数
Propositional function
メレオロジー
Mereology
論理式 (数学)
Logical formula
アッカーマン関数
Ackermann function
帰納言語
Recursive language
帰納的可算言語
Recursively enumerable language
帰納的可算集合
Computably enumerable set
計算可能関数
Computable functionゲーデル数
Gödel numbering原始再帰関数
Primitive recursive function
項書き換え
Rewriting
合流性
Confluence (abstract rewriting)再帰
Recursion
数学基礎論
Foundations of mathematics
不動点コンビネータ
Fixed-point combinator
GNU General Public License
GNU General Public License
Mathematica
Wolfram Mathematica
MathSciNet
MathSciNet
NAG数値計算ライブラリ
NAG Numerical Library
S言語
S (programming language)
DPLLアルゴリズム
DPLL algorithm