コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

検索結果

  • ウィキペディアには「厳密」という見出しの百科事典記事はありません(タイトルに「厳密」を含むページの一覧/「厳密」で始まるページの一覧)。 代わりにウィクショナリーのページ「厳密」が役に立つかもしれません。wikt:Special:Search/厳密
    2キロバイト (0 語) - 2023年4月23日 (日) 14:27
  • 厳密非回文数(げんみつひかいぶんすう、strictly non-palindromic number)とは、2 ≦ b ≦ n − 2 である全ての b 進法における位取り記数法で表記した n が回文数にならないような整数 n のことである。例えば、10進法の6(10)は、2進法では"110(2)"…
    3キロバイト (478 語) - 2020年9月1日 (火) 12:02
  • 数学的厳密性(すうがくてきげんみつせい)は、数学的証明の厳密な方法と数学的実践の厳密な方法の両方を指すことがある。 数学的厳密さは、数学的証明の一種のゴールドスタンダードとしてしばしば引用される。その歴史は、ギリシャの数学、特に、ユークリッドの『原論』にさかのぼる。…
    5キロバイト (723 語) - 2024年6月5日 (水) 21:09
  • 不可分操作 (厳密な一貫性からのリダイレクト)
    不可分操作(ふかぶんそうさ)あるいはアトミック操作 (英: atomic operation) とは、情報工学においていくつかの操作を組み合わせたもので、システムの他の部分から見てそれらがひとつの操作に見えるものをいう。 不可分操作は、以下の2つの条件を満たさなければならない。 全操作が完了するまで…
    5キロバイト (831 語) - 2023年12月18日 (月) 23:40
  • 論理学において厳密含意(げんみつがんい、記号:◻または⥽)は、様相論理上の論理演算によって定義される命題上の論理的関係である。これは、様相論理の必然演算子が適用された古典論理の実質含意に論理的に等価である。任意の2つの命題 p {\displaystyle p} と q {\displaystyle…
    987バイト (147 語) - 2024年6月6日 (木) 00:01
  • 結合 推量・意志 厳密だろう 未然形 + う 過去・完了 厳密だった 連用形 + た 否定形 厳密でない 連用形 + ない 自動詞化 厳密になる 連用形 + なる 言い切り 厳密だ 終止形のみ 名詞化 厳密なこと 連体形 + こと 仮定条件 厳密ならば 仮定形 + ば 様態 厳密そうだ 語幹 + そうだ