「値_(計算機科学)」を解説文に含む見出し語の検索結果(201~210/1429件中)
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
ナビゲーションに移動検索に移動計算機科学における表示的意味論(ひょうじてきいみろん、英: Denotational Semantics)とは、プログラミング言語の意味を形式的に記述する形式意味...
ナビゲーションに移動検索に移動計算機科学における表示的意味論(ひょうじてきいみろん、英: Denotational Semantics)とは、プログラミング言語の意味を形式的に記述する形式意味...
ナビゲーションに移動検索に移動この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。出典検索?: "意味論" 論理学...
ナビゲーションに移動検索に移動この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。出典検索?: "意味論" 論理学...
数理論理学における構成規則(こうせいきそく、英: Formation rule)もしくは形成規則とは、アルファベットからなる記号列のうち、どれが当該言語で統語論的に正しいかを定める規則である。構成規則...
数理論理学における構成規則(こうせいきそく、英: Formation rule)もしくは形成規則とは、アルファベットからなる記号列のうち、どれが当該言語で統語論的に正しいかを定める規則である。構成規則...
節標準形(英: Clausal normal form、CNF)とは、数理論理学において、論理プログラミングや多くの自動定理証明系で使われる論理式の標準形式である。論理式を節標準形に変換すると論理式の...
節標準形(英: Clausal normal form、CNF)とは、数理論理学において、論理プログラミングや多くの自動定理証明系で使われる論理式の標準形式である。論理式を節標準形に変換すると論理式の...
ナビゲーションに移動検索に移動 The permutation (4,1,5,2,6,3) has the inversion vector (0,1,0,2,0,3) and the inversi...