second-order logic（第一階層論理（ファーストオーダー）とは - 英語 - 英語 | ディクト

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

検索結果- 英語 - 英語

検索内容:

second-order logic

second-order logic

不可算名詞通常

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 ）

second-order logics

活用形複数形

plural of second-order logic

原形: 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

可算名詞不可算名詞

日本語の意味

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

このボタンはなに？

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.

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

関連語

monadic second-order logics

（ plural ）

monadic second-order logics

活用形複数形

plural of monadic second-order logic

原形: monadic second-order logic

日本語の意味

モナディック・セカンド・オーダー・ロジックの複数形

このボタンはなに？

Researchers compared several monadic second-order logics to determine which fragments permit decidable satisfiability.

研究者たちは、どの断片が決定可能な充足可能性を許すかを判断するために、いくつかの単項二階論理の変種を比較した。

Webで検索する

ログイン / 新規登録

ログイン

新規登録

　

アプリをダウンロード！

DiQt（ディクト）

無料

★★★★★★★★★★