検索結果

ウィキペディアには「厳密」という見出しの百科事典記事はありません（タイトルに「厳密」を含むページの一覧/「厳密」で始まるページの一覧）。 代わりにウィクショナリーのページ「厳密」が役に立つかもしれません。wikt:Special:Search/厳密…

厳密非回文数（げんみつひかいぶんすう、strictly non-palindromic number）とは、2 ≦ b ≦ n − 2 である全ての b 進法における位取り記数法で表記した n が回文数にならないような整数 n のことである。例えば、10進法の6(10)は、2進法では"110(2)"…

数学的厳密性（すうがくてきげんみつせい）は、数学的証明の厳密な方法と数学的実践の厳密な方法の両方を指すことがある。 数学的厳密さは、数学的証明の一種のゴールドスタンダードとしてしばしば引用される。その歴史は、ギリシャの数学、特に、ユークリッドの『原論』にさかのぼる。…

不可分操作（ふかぶんそうさ）あるいはアトミック操作 (英: atomic operation) とは、情報工学においていくつかの操作を組み合わせたもので、システムの他の部分から見てそれらがひとつの操作に見えるものをいう。 不可分操作は、以下の2つの条件を満たさなければならない。 全操作が完了するまで…

論理学において厳密含意（げんみつがんい、記号：◻または⥽）は、様相論理上の論理演算によって定義される命題上の論理的関係である。これは、様相論理の必然演算子が適用された古典論理の実質含意に論理的に等価である。任意の2つの命題 p {\displaystyle p} と q {\displaystyle…