Similar to 二階述語論理
述語論理
Predicate logic一階述語論理
First-order logic議論領域
Domain of discourse原子論理式
Atomic formula高階述語論理
Higher-order logicフーリエ・モツキンの消去法
Fourier–Motzkin elimination命題関数
Propositional functionメレオロジー
Mereology論理式 (数学)
Logical formulaDPLLアルゴリズム
DPLL algorithmSmn定理
Smn theoremアルゴリズム
AlgorithmΜ再帰関数
General recursive function7の平方根
Square root of 7ABC予想
Abc conjectureAnnals of Mathematics
Annals of MathematicsAxiom (数式処理システム)
Axiom (computer algebra system)N連結
Homotopical connectivityP進タイヒミュラー理論
P-adic Teichmüller theoryP進量子力学
P-adic quantum mechanicsP≠NP予想
P versus NP problemアーベル-ルフィニの定理
Abel–Ruffini theorem第百一号輸送艦
0
01
1▼-1 trends2
23
34
4