Similar to 二階述語論理
述語論理
Predicate logic一階述語論理
First-order logic
議論領域
Domain of discourse原子論理式
Atomic formula
高階述語論理
Higher-order logic
フーリエ・モツキンの消去法
Fourier–Motzkin elimination
命題関数
Propositional function
メレオロジー
Mereology
論理式 (数学)
Logical formula
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
アルゴリズム
Algorithm
Μ再帰関数
General recursive function
Annals of Mathematics
Annals of Mathematics
Axiom (数式処理システム)
Axiom (computer algebra system)
CFL条件
Courant–Friedrichs–Lewy condition
0
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9▲1 trends
12345679
自由変数と束縛変数
Free variables and bound variables