Similar to 論理式_(数学)
論理式 (数学)
Logical formula原子論理式
Atomic formula
命題関数
Propositional function
述語論理
Predicate logic一階述語論理
First-order logic
議論領域
Domain of discourse
高階述語論理
Higher-order logic
二階述語論理
Second-order logic
フーリエ・モツキンの消去法
Fourier–Motzkin elimination
メレオロジー
Mereology
恒真式
Tautology (logic)
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
アルゴリズム
Algorithm
帰納言語
Recursive language
帰納的可算言語
Recursively enumerable language
形式体系
Formal system
項書き換え
Rewriting構成規則
Formation rule
合流性
Confluence (abstract rewriting)
Μ再帰関数
General recursive function
Annals of Mathematics
Annals of Mathematics
Axiom (数式処理システム)
Axiom (computer algebra system)
CFL条件
Courant–Friedrichs–Lewy condition
L-system
L-system
Mizar
Mizar system
0
0
1
1