monadic second-order logic（個体集合の各要素に対して）とは - 英語 - 英語

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

検索結果- 英語 - 英語

検索内容:

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 of monadic second-order logic

原形: monadic second-order logic

日本語の意味

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

このボタンはなに？

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

翻訳する

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

詳細

Webで検索する

検索結果- 英語 - 英語