语言
没有数据
通知
无通知
noun）である。ある表現対象が可算か不可算かは言語によって異なり、また、同じ言語でも表現方法によって異なる場合もある。 英語の場合、名詞には、純粋可算名詞、純粋不可算名詞、文脈によって可算名詞にも不可算名詞にもなるものの3つのタイプがある。通常、英語の辞書では、可算名詞には [C] （countable の略）、不可算名詞には
ビリヤードボール・コンピュータ 可逆計算模型 遷移函数が一対一である決定的チューリングマシンは可逆的である（可逆チューリングマシン）。 可逆セル・オートマトン 可逆命令セットアーキテクチャ Pendulum 可逆プログラミング言語 Janus Conservation 可逆難解プログラミング言語
はまた可算である。これより、代数的数全体の集合 Q は可算であることが従う。しかし、可算個の可算集合の直積集合や、可算集合の冪集合は非可算であり、その濃度は連続体濃度である。 可算個の可算集合の直積集合の濃度は、濃度不等式 2 ℵ 0 ≤ ℵ 0 ℵ 0 ≤ ( 2 ℵ 0 ) ℵ 0 = 2 ℵ
数学において、非可算集合（ひかさんしゅうごう、英語: uncountable set）、あるいは非可算無限集合とは可算集合でない無限集合のことである。集合の非可算性は基数、濃度という概念と密接に関係している。集合は、その濃度が自然数全体の集合の濃度より大きいときに、非可算である。 集合の非可算性には多くの同値な言い換えが存在する。集合
これらの例は実際のところ、定義可能かつ計算不能な数の無限集合を定義し、各万能チューリングマシンごとに一つずつ与える。 実数が計算可能であるとき、かつその時に限り、自然数の集合を特性関数として見なしたとき計算可能である。 計算可能実数全体は (およびそのうち可算な稠密順序で端点の無い部分集合は)
X が可算コンパクト空間（英: Countably compact space）であるとは、任意の可算開被覆が有限部分被覆を持つことをいう。即ち、 X = ⋃ λ O λ {\displaystyle X=\bigcup _{\lambda }O_{\lambda }} を満たす任意の可算開集合族
を特徴付けるかと言う問題は、ススリンの問題として知られる。 また、可算鎖条件を満たす距離空間は可分である。しかしながら、一般の位相空間においては可算鎖条件を満たす非可分な空間も存在する。例えば、 { 0 , 1 } 2 2 ℵ 0 {\displaystyle \{0,1\}^{2^{2^{\aleph
手続きは値を返す場合には有限の空間（領域）を使って計算するが、使用する空間の量に制限はない。手続きが必要とするだけの空間（記憶領域）が与えられるものとされる。 計算複雑性理論では、計算に必要な時間や空間に何らかの前提を設けて関数を研究する。 自然数の集合 A が計算可能（帰納的、決定可能）であるとは、数
搜索 
