「logic error」を解説文に含む見出し語の検索結果(61～70/2776件中)
この記事は英語版の対応するページを翻訳することにより充実させることができます。（2022年7月）翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。英語版記事を日本語へ機械...
この記事は英語版の対応するページを翻訳することにより充実させることができます。（2022年7月）翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。英語版記事を日本語へ機械...
ナビゲーションに移動検索に移動数理論理学におけるハルモス代数（ハルモスだいすう、英: Halmos algebra[1]）あるいは多進代数[2]（たしんだいすう...
ナビゲーションに移動検索に移動数理論理学におけるハルモス代数（ハルモスだいすう、英: Halmos algebra[1]）あるいは多進代数[2]（たしんだいすう...
ナビゲーションに移動検索に移動この項目では、関係の集合論的概念について説明しています。一般の場合については「二項関係」を、その他の用法については「関係 (曖昧さ回避)」をご覧ください。集合 X1,&#...
ナビゲーションに移動検索に移動この項目では、関係の集合論的概念について説明しています。一般の場合については「二項関係」を、その他の用法については「関係 (曖昧さ回避)」をご覧ください。集合 X1,&#...
ナビゲーションに移動検索に移動この項目では、関係の集合論的概念について説明しています。一般の場合については「二項関係」を、その他の用法については「関係 (曖昧さ回避)」をご覧ください。集合 X1,&#...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
決定可能（けっていかのう、英: decidable）は、数理論理学または現代論理学において、論理式の集合のメンバーシップの決定をする実効的（effectiveな）方法が存在することを指す。決定...
決定可能（けっていかのう、英: decidable）は、数理論理学または現代論理学において、論理式の集合のメンバーシップの決定をする実効的（effectiveな）方法が存在することを指す。決定...