検索内容:
その半順序集合には、組合せ構造を決定するいくつかの極大元が含まれている。
多くの複雑なシステムは、事象間の因果関係を表すために半順序集合でモデル化できます。
集合上の関係Rは反対称なので、aRbおよびbRaが両方成り立つときは必ずa = bとなる。
最近の研究は、ドメイン理論における計算を単純化する代数的部分順序集合の新しい構造的性質を明らかにした。
代数的部分順序集合の任意の元は、それより下にあるコンパクトな元の上限(最小上界)として表すことができます。
彼は品位を持って質問を投げかけ、その場の集会を黙らせる。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★