「: mathematical logic」を解説文に含む見出し語の検索結果(61～70/739件中)
決定可能（けっていかのう、英: decidable）は、数理論理学または現代論理学において、論理式の集合のメンバーシップの決定をする実効的（effectiveな）方法が存在することを指す。決定...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
数学の自然の姿と個別の数学的な問題の将来への進行は広く議論される話題である。―現代数学についての過去の多くの予想は置き誤れるかまたはまったくの間違いであり続けてきた、そうなので今日の多くの予言が似たよ...
数学の自然の姿と個別の数学的な問題の将来への進行は広く議論される話題である。―現代数学についての過去の多くの予想は置き誤れるかまたはまったくの間違いであり続けてきた、そうなので今日の多くの予言が似たよ...
.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...
ナビゲーションに移動検索に移動数理論理学におけるハルモス代数（ハルモスだいすう、英: Halmos algebra[1]）あるいは多進代数[2]（たしんだいすう...
ナビゲーションに移動検索に移動数理論理学におけるハルモス代数（ハルモスだいすう、英: Halmos algebra[1]）あるいは多進代数[2]（たしんだいすう...
ナビゲーションに移動検索に移動この項目では、関係の集合論的概念について説明しています。一般の場合については「二項関係」を、その他の用法については「関係 (曖昧さ回避)」をご覧ください。集合 X1,&#...
ナビゲーションに移動検索に移動この項目では、関係の集合論的概念について説明しています。一般の場合については「二項関係」を、その他の用法については「関係 (曖昧さ回避)」をご覧ください。集合 X1,&#...