Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
数学において、非可算集合(ひかさんしゅうごう、英語: uncountable set)、あるいは非可算無限集合とは可算集合でない無限集合のことである。集合の非可算性は基数、濃度という概念と密接に関係している。集合は、その濃度が自然数全体の集合の濃度より大きいときに、非可算である。 集合の非可算性には多くの同値な言い換えが存在する。集合
全ての帰納的集合は帰納的可算だが、全ての帰納的可算集合が帰納的(集合)とは言えない。 帰納的可算言語は形式言語の帰納的可算な部分集合である。 帰納的可算な公理系から導かれる全ての文の集合は帰納的可算集合である。 マチャセビッチの定理によれば、全ての帰納的可算集合はディオファントス集合である(逆も明らかに真)。
合わせ加えて計算すること。 加算。 合計。
いが戦後に出版された演劇界や各種資料では 「「可江集」を決める腹もあったがほどまでも至らないで終った。」 「先々代羽左衛門の「可江集」も「赤星重三郎」や「住吉物狂」など、二三種挙げたのみであった。」 「未完成乍ら十五代目市村羽左衛門の「可江集」のある如く」 とあくまで可江集は未完成だと見做している。
ゲーデルの構成可能集合(こうせいかのうしゅうごう、 constructible universe または Gödel's constructible universe)とは、クルト・ゲーデルによって導入された、集合論の公理を満たすモデル上で空集合から帰納的に構成していける集合のことである。より正確な定義は後に述べる。
(1)いくつかのものを一か所に集めること。 また, 集まること。 聚合。
noun)である。ある表現対象が可算か不可算かは言語によって異なり、また、同じ言語でも表現方法によって異なる場合もある。 英語の場合、名詞には、純粋可算名詞、純粋不可算名詞、文脈によって可算名詞にも不可算名詞にもなるものの3つのタイプがある。通常、英語の辞書では、可算名詞には [C] (countable の略)、不可算名詞には
ビリヤードボール・コンピュータ 可逆計算模型 遷移函数が一対一である決定的チューリングマシンは可逆的である(可逆チューリングマシン)。 可逆セル・オートマトン 可逆命令セットアーキテクチャ Pendulum 可逆プログラミング言語 Janus Conservation 可逆難解プログラミング言語