「quantifier」を解説文に含む見出し語の検索結果(11～20/93件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/20 10:10 UTC 版)「動詞句内主語仮説」の記事における「数量詞遊離」の解説数量詞遊離 (英: qua...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/04 15:11 UTC 版)「数式処理システム」の記事における「記号的操作」の解説記号的操作には、次のようなものがあ...
Jump to navigationJump to search計算複雑性理論において、言語TQBFは量化された真のブール式からなる形式言語である。(完全に)量化されたブール式とは、すべての変数が存在...
Jump to navigationJump to search計算複雑性理論において、言語TQBFは量化された真のブール式からなる形式言語である。(完全に)量化されたブール式とは、すべての変数が存在...
.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...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/25 04:10 UTC 版)「一階述語論理」の記事における「命題論理との差異」の解説命題論理では文を構成する最も基本...
メタ存在論（Meta-ontology）とは、ピーター・ヴァン・インワーゲン（Peter van Inwagen）による造語であり、ウィラード・ヴァン・オーマン・クワインによるルドルフ・カルナップの形...
メタ存在論（Meta-ontology）とは、ピーター・ヴァン・インワーゲン（Peter van Inwagen）による造語であり、ウィラード・ヴァン・オーマン・クワインによるルドルフ・カルナップの形...