monadic second-order logic
superlative form of petty: most petty
plural of protoplanet
Having almost perfectly memorized a theatrical part.
(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.
研究者はしばしば、一階述語論理を拡張して個体の一項述語に対する量化を可能にする形式的推論体系（単項二階述語論理）を用いて、一階述語論理では表現できないグラフの性質を記述する。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
