検索結果

ページ名と一致

• 精度 (算術)
  [[Category:算術]] …
  6キロバイト (178 語) - 2020年4月18日 (土) 09:01
• ロビンソン算術
  12キロバイト (695 語) - 2025年3月8日 (土) 18:12
• 算術の基本定理
  …rimes")}} と述べている（続く定理 2: 「その分解は一意である」とあわせて「基本定理」が構成される）。</ref>という[[初等整数論]]（算術）における定理である{{refnest|group="注"|{{math|1}} を「{{math|0}} 個の素数の積」と見なすという規約を設けること [[Category:算術]] …
  17キロバイト (718 語) - 2025年2月14日 (金) 05:17
• 真の算術
  9キロバイト (524 語) - 2020年11月11日 (水) 14:00
• 算術の超準モデル
  [[Category:算術]] …
  10キロバイト (684 語) - 2023年8月21日 (月) 02:06

ページ本文と一致

• 自己検証理論
  …'Self-verifying theories'''}}) は、無矛盾で、[[ペアノ算術]]よりはるかに弱く、自身の[[無矛盾性]]を証明できる[[算術]]の[[一階述語論理|一階]]の体系である。[[ダン・ウィラード]]が初めてこの特性を調べ始め、そのような体系の一族を記述した。[[ゲーデルの不完全性 …
  3キロバイト (111 語) - 2019年10月5日 (土) 09:17
• イプシロン数
  4キロバイト (150 語) - 2023年9月28日 (木) 13:53
• 算術の超準モデル
  [[Category:算術]] …
  10キロバイト (684 語) - 2023年8月21日 (月) 02:06
• 函数の平均
  有限個の値 {{math|''y''{{sub|1}}, ''y''{{sub|2}}, …, ''y{{sub|n}}''}} の（算術）平均 {{mvar|{{overline|y}}}} の定義性質は <math display="inline">n\bar{y} = y_1 +… その類似対応物として、区間 {{closed-closed|''a'', ''b''}} 上で定義された函数 {{mvar|f}} の（算術）平均 {{mvar|{{overline|f}}}} の定義性質として <math display="block">\int_a^b\bar{f}\, …
  4キロバイト (247 語) - 2017年7月12日 (水) 21:11
• 帰納的分離不能対
  4キロバイト (255 語) - 2015年2月22日 (日) 18:06
• 六角錐数
  [[Category:算術]] …
  809バイト (28 語) - 2023年12月9日 (土) 13:13
• パリス＝ハーリントンの定理
  4キロバイト (108 語) - 2022年10月24日 (月) 17:01
• 真の算術
  9キロバイト (524 語) - 2020年11月11日 (水) 14:00
• 算術的階層
  8キロバイト (434 語) - 2023年8月20日 (日) 12:28
• 一般化算術数列
  [[Category:算術]] …
  3キロバイト (228 語) - 2018年12月17日 (月) 11:10
• 小数部分
  [[Category:算術]] …
  2キロバイト (109 語) - 2024年2月28日 (水) 19:41
• 初等関数算術
  …n-short|elementary function arithmetic}}）または'''指数関数算術'''（'''EFA'''）は[[自然数論|算術]]の体系のひとつであり、関数記号 <math>0,1,+,\times,x^y</math> の初等的な性質と、[[有界論理式]]に対する[[数学的帰 …
  6キロバイト (271 語) - 2024年12月13日 (金) 00:35
• 無矛盾
  6キロバイト (289 語) - 2021年11月18日 (木) 16:00
• 等差×等比数列
  …]によって与えられる、'''算術&ndash;幾何数列''' (''arithmetico–geometric sequence'') は、象徴的に「算術&sdot;幾何数列」とか「(等差)×(等比)-型の数列」などのようにも呼ばれる。より平易に述べれば、一つの算術×幾何数列の第 {{mvar|n}}-項 ; 注意: 「算術&shy;幾何数列」という呼称は、算術数列と幾何数列の両方の特徴を持つほかの対象に用いられる場合がある。{{efn|例えば[[線形回帰数列]]の一種で …
  7キロバイト (634 語) - 2024年2月8日 (木) 14:10
• 原始帰納的算術
  7キロバイト (448 語) - 2022年11月19日 (土) 10:07
• 定義可能実数
  10キロバイト (400 語) - 2023年9月15日 (金) 23:43
• 二重否定翻訳
  ==== 算術 ==== …
  10キロバイト (628 語) - 2024年12月22日 (日) 07:08
• ロッサーのからくり
  10キロバイト (697 語) - 2023年7月28日 (金) 10:43
• ポストの定理
  7キロバイト (336 語) - 2022年8月1日 (月) 11:09
• 精度 (算術)
  [[Category:算術]] …
  6キロバイト (178 語) - 2020年4月18日 (土) 09:01