「logic programming」を解説文に含む見出し語の検索結果(11～20/393件中)
ナビゲーションに移動検索に移動.mw-parser-output .sidebar{width:auto;float:right;clear:right;margin:0.5em 0 1em 1em;...
ナビゲーションに移動検索に移動.mw-parser-output .sidebar{width:auto;float:right;clear:right;margin:0.5em 0 1em 1em;...
ナビゲーションに移動検索に移動.mw-parser-output .sidebar{width:auto;float:right;clear:right;margin:0.5em 0 1em 1em;...
ゲーム意味論（ゲームいみろん、Game Semantics）とは、ゲーム理論的概念（プレイヤーの勝利戦略の存在など）に基づいた論理の意味論の手法である。1950年代後半にパウル・ローレンツェンが提唱し...
ゲーム意味論（ゲームいみろん、Game Semantics）とは、ゲーム理論的概念（プレイヤーの勝利戦略の存在など）に基づいた論理の意味論の手法である。1950年代後半にパウル・ローレンツェンが提唱し...
非単調論理（ひたんちょうろんり、英: Non-monotonic logic）とは、帰結関係が単調でない論理を意味する。多くの形式論理は単調な帰結関係であり、理論に論理式を追加しても帰結は還元されない...
非単調論理（ひたんちょうろんり、英: Non-monotonic logic）とは、帰結関係が単調でない論理を意味する。多くの形式論理は単調な帰結関係であり、理論に論理式を追加しても帰結は還元されない...
古典論理（こてんろんり、英: classical logic）は形式論理の部類で、最も研究され最も広く使われている論理である。標準論理（英: standard logic）とも呼ばれる...
古典論理（こてんろんり、英: classical logic）は形式論理の部類で、最も研究され最も広く使われている論理である。標準論理（英: standard logic）とも呼ばれる...
古典論理（こてんろんり、英: classical logic）は形式論理の部類で、最も研究され最も広く使われている論理である。標準論理（英: standard logic）とも呼ばれる...