Weblio 辞書 > 学問 > OR事典 > ホーン節の解説 > ホーン節の全文検索
「ホーン節」を解説文に含む見出し語の検索結果(1~10/81件中)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/06/20 22:13 UTC 版)「ホーン節」の記事における「ホーン節(Horn clause)」の解説命題論理における節...
形式論理学において,ホーン節という,命題論理式の節形式...
形式論理学において,ホーン節という,命題論理式の節形式...
形式論理学において,ホーン節という,命題論理式の節形式...
形式論理学において,ホーン節という,命題論理式の節形式...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/06/20 22:13 UTC 版)「ホーン節」の記事における「節(clause)」の解説命題論理における原子命題を P と...
読み方:ほーんせつ【英】:Horn clauseリテラル(命題そのものか, またはその否定)が選言で結合された論理式を節と呼び, 正のリテラル(否定のついていない命題)を高々1つ含む節のことをホーン節...
読み方:ほーんせつ【英】:Horn clauseリテラル(命題そのものか, またはその否定)が選言で結合された論理式を節と呼び, 正のリテラル(否定のついていない命題)を高々1つ含む節のことをホーン節...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/06/20 22:13 UTC 版)「ホーン節」の記事における「論理プログラミングにおける用法」の解説論理プログラミングにお...
指定された集合のいかなる要素の名前にも取り替えることができる論理式あるいは数式の記号形式論理学において,ホーン節という,命題論理式の節形式融合原理という,述語論理式が成立するかしないかを表す規則テスト...
< 前の結果 | 次の結果 >





カテゴリ一覧

全て

ビジネス

業界用語

コンピュータ

電車

自動車・バイク

工学

建築・不動産

学問

文化

生活

ヘルスケア

趣味

スポーツ

生物

食品

人名

方言

辞書・百科事典

すべての辞書の索引

   

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

©2025 GRAS Group, Inc.RSS