「Recursive」を解説文に含む見出し語の検索結果(281~290/587件中)
数理論理学の一分野である証明論において、初等関数算術(英: elementary function arithmetic)または指数関数算術(EFA)は算術の体系のひとつであり、関数記号 0 ...
実効記述集合論(じっこうきじゅつしゅうごうろん、Effective descriptive set theory)は記述集合論で細字の定義をもつ集合や実数を扱う分野である; それはすなわち、定義にいか...
実効記述集合論(じっこうきじゅつしゅうごうろん、Effective descriptive set theory)は記述集合論で細字の定義をもつ集合や実数を扱う分野である; それはすなわち、定義にいか...
実効記述集合論(じっこうきじゅつしゅうごうろん、Effective descriptive set theory)は記述集合論で細字の定義をもつ集合や実数を扱う分野である; それはすなわち、定義にいか...
対関数(ついかんすう、英: Pairing function)とは、2つの自然数を一意に符号化して1つの自然数を返す関数である。集合論では、任意の対関数を用いて、有理数全体の集合 Q が可算濃度である...
対関数(ついかんすう、英: Pairing function)とは、2つの自然数を一意に符号化して1つの自然数を返す関数である。集合論では、任意の対関数を用いて、有理数全体の集合 Q が可算濃度である...
数学の記述集合論において、ポーランド空間 X {\displaystyle X} の部分集合 A {\displaystyle A} が 射影集合(しゃえいしゅうごう、Projective hiera...
ナビゲーションに移動検索に移動数理論理学において、真の算術 (英: true arithmetic) とは一階ペアノ算術の言語における自然数の理論 Th( N {\displaystyle {...
ナビゲーションに移動検索に移動数理論理学において、真の算術 (英: true arithmetic) とは一階ペアノ算術の言語における自然数の理論 Th( N {\displaystyle {...
NACA の IBM 704 (1957)IBM 704。IBM 727 磁気テープ装置と IBM 780 CRTディスプレイが見える。(Image courtesy of LLNL.)レオナルド・ダ...