bn:03814047n
Noun Concept
Categories: 数理論理学, 数学に関する記事, 述語論理, ジョゼフ・フーリエ, 数学のエポニム
JA
Fourier–Motzkin消去法
JA
Fourier–Motzkin消去法(英: Fourier-Motzkin elimination)とは、数理論理学および計算機科学において、一次不等式からなる一階述語論理式の限量子(∀や∃)を除去するアルゴリズム。 Wikipedia
Definitions
Relations
Sources
JA
Fourier–Motzkin消去法(英: Fourier-Motzkin elimination)とは、数理論理学および計算機科学において、一次不等式からなる一階述語論理式の限量子(∀や∃)を除去するアルゴリズム。 Wikipedia