「first-order predicate logic」を解説文に含む見出し語の検索結果(1～10/30件中)
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
二階述語論理（にかいじゅつごろんり、英: second-order predicate logic）あるいは単に二階論理（にかいろんり、英: second-order logic）は、...
二階述語論理（にかいじゅつごろんり、英: second-order predicate logic）あるいは単に二階論理（にかいろんり、英: second-order logic）は、...
二階述語論理（にかいじゅつごろんり、英: second-order predicate logic）あるいは単に二階論理（にかいろんり、英: second-order logic）は、...
数学、数理論理学、命題論理、述語論理などにおいて、論理式（ろんりしき、英語: logical expression）とは、真理値を必要とする場所にあらわれる式のことであり、原子論理式や、それを...
数学、数理論理学、命題論理、述語論理などにおいて、論理式（ろんりしき、英語: logical expression）とは、真理値を必要とする場所にあらわれる式のことであり、原子論理式や、それを...
数学、数理論理学、命題論理、述語論理などにおいて、論理式（ろんりしき、英語: logical expression）とは、真理値を必要とする場所にあらわれる式のことであり、原子論理式や、それを...
読み方：ろんりぷろぐらみんぐ【英】：logic programming 概要 知識や森羅万象の因果関係を論理記号と非論理記号を使って形式的に記述したものは論理式と呼ばれる. この中で一階述語論理式と呼...
< 前の結果 | 次の結果 >