「ホーン節」を解説文に含む見出し語の検索結果(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 版)「ホーン節」の記事における「論理プログラミングにおける用法」の解説論理プログラミングにお...
指定された集合のいかなる要素の名前にも取り替えることができる論理式あるいは数式の記号形式論理学において,ホーン節という,命題論理式の節形式融合原理という,述語論理式が成立するかしないかを表す規則テスト...
< 前の結果 | 次の結果 >
>>
「ホーン節」の辞書の解説