Horn clause（論理学において）とは - 英語 - 多言語

ログインすると広告が減り、学習に集中できます。

検索結果- 英語 - 多言語

検索内容:

Horn clause

Horn clauses

名詞

活用形複数形

plural of Horn clause

原形: Horn clause

日本語の意味

『Horn clauses』は『Horn clause』の複数形です。つまり、『Horn clause』の複数形として使用される活用形を示しています。

英語の意味

plural of Horn clause

このボタンはなに？

Horn clauses are used extensively in logic programming and automated theorem proving because of their computational efficiency.

翻訳する

ホーン節は計算効率の高さから論理プログラミングや自動定理証明で広く用いられている。

詳細

Horn clause

名詞

(logic) A clause (disjunction of literals) with at most one positive literal.

日本語の意味

論理学において、正のリテラルが高々一つ含まれる論理式（リテラルの論理和として表現される節）

英語の意味

(logic) A clause (disjunction of literals) with at most one positive literal.

このボタンはなに？

A Horn clause typically makes inference efficient in logic programming and automated theorem proving.

翻訳する

正のリテラルが高々1つしかない節（リテラルの論理和）は、論理プログラミングや自動定理証明において推論を効率化することが多い。

詳細

検索結果- 英語 - 多言語

Horn clauses

Horn clause

英語 - 多言語

項目

例文

その他

ログイン / 新規登録

アプリをダウンロード！

検索結果- 英語 - 多言語

Horn clauses

Horn clause

英語 - 多言語

項目

例文

その他

ログイン / 新規登録

ログイン

──── or ────

新規登録

──── or ────

アプリをダウンロード！