bn:01810724n
Noun Concept
Categories: 計算可能解析学, エフェクティブ記述集合論, 計算可能性理論
JA
実効ポーランド空間  有効ポーランドのスペ
JA
数理論理学において実効ポーランド空間 とは、可分な完備距離空間であって計算可能な表示をもつものである。 Wikipedia
Definitions
Relations
Sources
JA
数理論理学において実効ポーランド空間 とは、可分な完備距離空間であって計算可能な表示をもつものである。 Wikipedia