「ホーン節」を解説文に含む見出し語の検索結果(11～20/81件中)
指定された集合のいかなる要素の名前にも取り替えることができる論理式あるいは数式の記号形式論理学において,ホーン節という,命題論理式の節形式融合原理という,述語論理式が成立するかしないかを表す規則...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/12 02:49 UTC 版)「Prolog」の記事における「述語論理と論理プログラミング」の解説Prolog のプロ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/12/27 04:35 UTC 版)「ホーン」の記事における「horn」の解説ウシ、ヒツジ、ヤギ、レイヨウ、サイなどの角（洞...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/26 14:14 UTC 版)「並行制約プログラミング」の記事における「並行論理プログラミング言語」の解説Relati...
ナビゲーションに移動検索に移動GHCガーナの通貨単位セディをあらわす通貨コード（ISO 4217)グローバル・オナード・クラウン - 日本のプロレス団体プロレスリング・ノアの管理する選手権。グローバル...
ナビゲーションに移動検索に移動この項目では、数学者について説明しています。アイスホッケー選手については「アルフレッド・ホーン (アイスホッケー)」をご覧ください。アルフレッド・ホーン（Alfred H...
ナビゲーションに移動検索に移動この項目では、数学者について説明しています。アイスホッケー選手については「アルフレッド・ホーン (アイスホッケー)」をご覧ください。アルフレッド・ホーン（Alfred H...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/10/03 01:23 UTC 版)「並行論理プログラミング」の記事における「論理型プログラミング」の解説prologなどの...
形式論理学.数学のすべては形式論理学から導かれるという哲学理論形式論理学を使ったプログラムのグラフィカルな表現形式論理学において,還元法という,格の操作概念法学という,法律概念を形式論理だけで規定する...
形式論理学.数学のすべては形式論理学から導かれるという哲学理論形式論理学を使ったプログラムのグラフィカルな表現形式論理学において,還元法という,格の操作概念法学という,法律概念を形式論理だけで規定する...