「ペアノの公理」を解説文に含む見出し語の検索結果(31~40/159件中)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/08/07 23:42 UTC 版)「関係代数 (数学)」の記事における「表現力」の解説RAの超数学は1987年のタルスキと...
ルーベン・グッドスタインReuben Goodstein生誕 (1912-12-15) 1912年12月15日 イングランド、ロンドン死没1985年3月8日(1985-03-08)(72歳没) イング...
ヴィルヘルム・アッカーマンヴィルヘルム・アッカーマン(Wilhelm Friedrich Ackermann, 1896年3月29日 - 1962年12月24日)はドイツの数学者。計算理論での重要な例...
ヴィルヘルム・アッカーマンヴィルヘルム・アッカーマン(Wilhelm Friedrich Ackermann, 1896年3月29日 - 1962年12月24日)はドイツの数学者。計算理論での重要な例...
ヴィルヘルム・アッカーマンヴィルヘルム・アッカーマン(Wilhelm Friedrich Ackermann, 1896年3月29日 - 1962年12月24日)はドイツの数学者。計算理論での重要な例...
数学のエポニムの一覧(すうがくのエポニムのいちらん)は、数学分野におけるエポニムの一覧である。あ行ポール・エルデシュに由来するものはポール・エルデシュに因んで命名された物の一覧参照レオンハルト・オイラ...
数学のエポニムの一覧(すうがくのエポニムのいちらん)は、数学分野におけるエポニムの一覧である。あ行ポール・エルデシュに由来するものはポール・エルデシュに因んで命名された物の一覧参照レオンハルト・オイラ...
数学的帰納法(すうがくてききのうほう、英: mathematical induction)は、数学における証明の手法の一つである。例えば自然数に関する命題 P(n) が全ての自然数 n に対し...
線形時相論理(せんけいじそうろんり、Linear Temporal Logic、LTL)とは、時間に関する様相を持つ様相時相論理である。LTLでは、ある条件が最終的に真となるとか、別の事実が真になるま...
線形時相論理(せんけいじそうろんり、Linear Temporal Logic、LTL)とは、時間に関する様相を持つ様相時相論理である。LTLでは、ある条件が最終的に真となるとか、別の事実が真になるま...




カテゴリ一覧

全て

ビジネス

業界用語

コンピュータ

電車

自動車・バイク

工学

建築・不動産

学問

文化

生活

ヘルスケア

趣味

スポーツ

生物

食品

人名

方言

辞書・百科事典

すべての辞書の索引

   

英語⇒日本語
日本語⇒英語
   
検索ランキング

©2025 GRAS Group, Inc.RSS