「非可算集合」を解説文に含む見出し語の検索結果(51~60/495件中)
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
高階述語論理(こうかいじゅつごろんり、英: Higher-order logic)は、一階述語論理と様々な意味で対比される用語である。例えば、その違いは量化される変項の種類にも現われている。一...
高階述語論理(こうかいじゅつごろんり、英: Higher-order logic)は、一階述語論理と様々な意味で対比される用語である。例えば、その違いは量化される変項の種類にも現われている。一...
高階述語論理(こうかいじゅつごろんり、英: Higher-order logic)は、一階述語論理と様々な意味で対比される用語である。例えば、その違いは量化される変項の種類にも現われている。一...
記述集合論においてポーランド空間の部分集合が perfect set property を持つとは、それが可算であるか、空でない完全集合を部分集合として持つことである (Kechris 19...
記述集合論においてポーランド空間の部分集合が perfect set property を持つとは、それが可算であるか、空でない完全集合を部分集合として持つことである (Kechris 19...
否定標準形(ひていひょうじゅんけい、英: negation normal form, NNF)とは、否定記号 ¬ {\displaystyle \lnot } が原子論理式のみにかかり、...
否定標準形(ひていひょうじゅんけい、英: negation normal form, NNF)とは、否定記号 ¬ {\displaystyle \lnot } が原子論理式のみにかかり、...
"0" は集合 A = {0} ∪ [1,2] の孤立点である。位相空間論において、位相空間 X の点 x が X の部分集合 S の孤立点(こりつてん、英: isolated point)であるとは...
"0" は集合 A = {0} ∪ [1,2] の孤立点である。位相空間論において、位相空間 X の点 x が X の部分集合 S の孤立点(こりつてん、英: isolated point)であるとは...