second-order logic（第一階層論理（ファーストオーダー）とは - 英語 - 多言語

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

検索結果- 英語 - 多言語

検索内容:

second-order logic

不可算名詞通常

A formal system which extends first-order logic by allowing quantification over relations between members of the universe.

日本語の意味

第一階層論理（ファーストオーダーロジック）を拡張し、対象間の関係に対する量化を許す形式体系。

英語の意味

A formal system which extends first-order logic by allowing quantification over relations between members of the universe.

このボタンはなに？

second-order logic permits quantification over relations, enabling the expression of properties that first-order logic cannot capture.

翻訳する

二階述語論理は、一階述語論理を拡張して宇宙の要素間の関係に対する量化を可能にする形式体系であり、これにより一階述語論理では捉えられない性質を表現できる。

詳細

second-order logics

名詞

活用形複数形

plural of second-order logic

原形: second-order logic

日本語の意味

複数の第二階述語論理、すなわち複数の第二階の論理体系

英語の意味

plural of second-order logic

このボタンはなに？

Researchers compared the expressive power of various second-order logics to determine which could capture different mathematical properties.

翻訳する

研究者たちは、異なる数学的性質を表現できるものを特定するために、さまざまな二階述語論理の表現力を比較した。

詳細

monadic second-order logic

名詞

可算名詞不可算名詞

(logic) A formal deductive system which extends first-order logic by the ability to quantify over unary predicates over individual members of the universe of discourse.

日本語の意味

個体集合の各要素に対して、1引数の述語（単項述語）に対する量化を可能にすることで、第一階述語論理を拡張した形式的な推論体系

英語の意味

(logic) A formal deductive system which extends first-order logic by the ability to quantify over unary predicates over individual members of the universe of discourse.

このボタンはなに？

Researchers often use monadic second-order logic, a formal deductive system that extends first-order logic by enabling quantification over unary predicates, to express graph properties that are inexpressible in first-order logic.

翻訳する

研究者はしばしば、一階述語論理を拡張して個体の一項述語に対する量化を可能にする形式的推論体系（単項二階述語論理）を用いて、一階述語論理では表現できないグラフの性質を記述する。

詳細