Weblio 辞書 > 辞書・百科事典 > 選言標準形の解説 > 選言標準形の全文検索
「選言標準形」を解説文に含む見出し語の検索結果(31~40/233件中)

非古典論理(ひこてんろんり、non-classical logic(s))は、古典論理におけるいくつかの仮定を否定、もしくは置き換えることによって構築された論理、あるいは、古典論理における仮定をすべて...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
クワイン・マクラスキー法(—ほう; Quine–McCluskey algorithm/略:QM法)はブール関数を簡単化するための方法である。カルノー図と同様の目的で使われるが、コンピュー...
クワイン・マクラスキー法(—ほう; Quine–McCluskey algorithm/略:QM法)はブール関数を簡単化するための方法である。カルノー図と同様の目的で使われるが、コンピュー...
クワイン・マクラスキー法(—ほう; Quine–McCluskey algorithm/略:QM法)はブール関数を簡単化するための方法である。カルノー図と同様の目的で使われるが、コンピュー...
フーリエ・モツキンの消去法(フーリエ・モツキンのしょうきょほう、英: Fourier-Motzkin elimination)とは、数理論理学および計算機科学において、一次不等式からなる一階述...
フーリエ・モツキンの消去法(フーリエ・モツキンのしょうきょほう、英: Fourier-Motzkin elimination)とは、数理論理学および計算機科学において、一次不等式からなる一階述...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...




カテゴリ一覧

全て

ビジネス

業界用語

コンピュータ

電車

自動車・バイク

工学

建築・不動産

学問

文化

生活

ヘルスケア

趣味

スポーツ

生物

食品

人名

方言

辞書・百科事典

すべての辞書の索引

   

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

©2025 GRAS Group, Inc.RSS