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

項書き換え(こうかきかえ、英: term rewriting)とは、数学・計算機科学・論理学において、式(数式、論理式)の項を別の項に置換する手法を総称する用語である。項書き換え系(英:...
項書き換え(こうかきかえ、英: term rewriting)とは、数学・計算機科学・論理学において、式(数式、論理式)の項を別の項に置換する手法を総称する用語である。項書き換え系(英:...
高階述語論理(こうかいじゅつごろんり、英: Higher-order logic)は、一階述語論理と様々な意味で対比される用語である。例えば、その違いは量化される変項の種類にも現われている。一...
高階述語論理(こうかいじゅつごろんり、英: Higher-order logic)は、一階述語論理と様々な意味で対比される用語である。例えば、その違いは量化される変項の種類にも現われている。一...
高階述語論理(こうかいじゅつごろんり、英: Higher-order logic)は、一階述語論理と様々な意味で対比される用語である。例えば、その違いは量化される変項の種類にも現われている。一...
Davis-Putnam-Logemann-Lovelandアルゴリズム(DPLLアルゴリズム、英: Davis-Putnam-Logemann-Loveland algorithm)とは、数...
Davis-Putnam-Logemann-Lovelandアルゴリズム(DPLLアルゴリズム、英: Davis-Putnam-Logemann-Loveland algorithm)とは、数...
.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...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...




カテゴリ一覧

全て

ビジネス

業界用語

コンピュータ

電車

自動車・バイク

工学

建築・不動産

学問

文化

生活

ヘルスケア

趣味

スポーツ

生物

食品

人名

方言

辞書・百科事典

すべての辞書の索引

   

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

©2025 GRAS Group, Inc.RSS