About: Complete partial order   Goto Sponge  NotDistinct  Permalink

An Entity of Type : dbo:MeanOfTransportation, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FComplete_partial_order

In mathematics, directed-complete partial orders and ω-complete partial orders (abbreviated to dcpo, ωcpo or sometimes just cpo) are special classes of partially ordered sets, characterized by particular completeness properties. Complete partial orders play a central role in theoretical computer science, in denotational semantics and domain theory.

AttributesValues
rdf:type
rdfs:label
  • Complete partial order
  • Ordre partiel complet (informatique)
  • 完備半順序
  • Porządek zupełny
  • 完全偏序
rdfs:comment
  • In mathematics, directed-complete partial orders and ω-complete partial orders (abbreviated to dcpo, ωcpo or sometimes just cpo) are special classes of partially ordered sets, characterized by particular completeness properties. Complete partial orders play a central role in theoretical computer science, in denotational semantics and domain theory.
  • Un ordre partiel complet (complete partial order ou CPO) est un ensemble partiellement ordonné dont toutes les chaînes ont une borne supérieure. Cette définition équivaut à celle d'ensemble inductif strict avec plus petit élément. La notion de CPO est utilisée pour résoudre les équations aux domaines, notamment quand on cherche une sémantique dénotationnelle pour un langage en informatique.
  • 数学の特に順序理論関連分野における有向完備半順序(ゆうこうかんびはんじゅんじょ、英: directed-complete partial order; dcpo)および ω-完備半順序(オメガかんびはんじゅんじょ、英: ω-complete partial order; ωcpo)あるいは単に cpoとは、半順序集合の特別なクラスで、完備性によって特徴づけられる。完備半順序は理論計算機科学、表示的意味論、領域理論において中心的な役割を果たす。
  • Porządek zupełny – własność porządków częściowych postulująca istnienie kresów. W literaturze matematycznej istnieje kilka definicji tego pojęcia różniących się szczegółami technicznymi zależnymi od kontekstu matematycznego.
  • 在数学中,有向完全偏序和完全偏序是两种特殊的偏序集合,分别简写为 dcpo 和 cpo。它们特征化自特定的完备性性质。dcpos 和 cpos 是序理论的概念,主要应用于理论计算机科学和指称语义。
sameAs
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
foaf:isPrimaryTopicOf
prov:wasDerivedFrom
has abstract
  • In mathematics, directed-complete partial orders and ω-complete partial orders (abbreviated to dcpo, ωcpo or sometimes just cpo) are special classes of partially ordered sets, characterized by particular completeness properties. Complete partial orders play a central role in theoretical computer science, in denotational semantics and domain theory.
  • Un ordre partiel complet (complete partial order ou CPO) est un ensemble partiellement ordonné dont toutes les chaînes ont une borne supérieure. Cette définition équivaut à celle d'ensemble inductif strict avec plus petit élément. La notion de CPO est utilisée pour résoudre les équations aux domaines, notamment quand on cherche une sémantique dénotationnelle pour un langage en informatique.
  • 数学の特に順序理論関連分野における有向完備半順序(ゆうこうかんびはんじゅんじょ、英: directed-complete partial order; dcpo)および ω-完備半順序(オメガかんびはんじゅんじょ、英: ω-complete partial order; ωcpo)あるいは単に cpoとは、半順序集合の特別なクラスで、完備性によって特徴づけられる。完備半順序は理論計算機科学、表示的意味論、領域理論において中心的な役割を果たす。
  • Porządek zupełny – własność porządków częściowych postulująca istnienie kresów. W literaturze matematycznej istnieje kilka definicji tego pojęcia różniących się szczegółami technicznymi zależnymi od kontekstu matematycznego.
  • 在数学中,有向完全偏序和完全偏序是两种特殊的偏序集合,分别简写为 dcpo 和 cpo。它们特征化自特定的完备性性质。dcpos 和 cpos 是序理论的概念,主要应用于理论计算机科学和指称语义。
http://purl.org/voc/vrank#hasRank
http://purl.org/li...ics/gold/hypernym
is Link from a Wikipage to another Wikipage of
is Wikipage redirect of
is Wikipage disambiguates of
is foaf:primaryTopic of
Faceted Search & Find service v1.17_git21 as of Mar 09 2019


Alternative Linked Data Documents: iSPARQL | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3230 as of May 1 2019, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2019 OpenLink Software