This HTML5 document contains 61 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-wikidatahttp://wikidata.dbpedia.org/resource/
n12http://dbpedia.org/resource/Completeness_(order_theory)
n20http://en.wikipedia.org/wiki/Complete_partial_order?oldid=
n15http://dbpedia.org/resource/Filter_(mathematics)
rdfshttp://www.w3.org/2000/01/rdf-schema#
n21http://dbpedia.org/resource/Chain_(order_theory)
dbpedia-plhttp://pl.dbpedia.org/resource/
n18http://fr.dbpedia.org/resource/Ordre_partiel_complet_(informatique)
n10http://rdf.freebase.com/ns/m.
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n14http://dbpedia.org/resource/Duality_(order_theory)
n13http://purl.org/voc/vrank#
wikipedia-enhttp://en.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
dbchttp://dbpedia.org/resource/Category:
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
n16http://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
Subject Item
dbr:Complete_partial_order
rdf:type
dbo:MeanOfTransportation
rdfs:label
Complete partial order Porządek zupełny 完備半順序 Ordre partiel complet (informatique) 完全偏序
rdfs:comment
数学の特に順序理論関連分野における有向完備半順序(ゆうこうかんびはんじゅんじょ、英: 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 是序理论的概念,主要应用于理论计算机科学和指称语义。 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. 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.
owl:sameAs
dbpedia-ja:完備半順序 wikidata:Q3082805 n10:02rb7s dbpedia-pl:Porządek_zupełny dbpedia-wikidata:Q3082805 n18:
dct:subject
dbc:Order_theory
dbo:wikiPageID
572352
dbo:wikiPageRevisionID
722583178
dbo:wikiPageWikiLink
dbr:Complete_lattice dbr:Supremum dbr:Bounded_complete dbr:Non-empty dbr:Join_and_meet dbr:Specialization_order n12: dbr:Scott_topology dbr:Sober_space dbr:Denotational_semantics dbr:Mathematics n14: dbr:Order-preserving n15: dbr:Directed_set n21: dbr:Kleene_fixpoint_theorem dbr:Monotone_function dbr:Partial_function dbr:Graph_of_a_function dbr:Partially_ordered_set dbc:Order_theory dbr:Deductive_system dbr:Cartesian_closed_category dbr:Chain_complete dbr:Fixpoint dbr:Theoretical_computer_science dbr:Scott_continuity dbr:Domain_theory dbr:Iterated_function dbr:Algebraic_poset
foaf:isPrimaryTopicOf
wikipedia-en:Complete_partial_order
prov:wasDerivedFrom
n20:722583178
dbo:abstract
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. 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. 在数学中,有向完全偏序和完全偏序是两种特殊的偏序集合,分别简写为 dcpo 和 cpo。它们特征化自特定的完备性性质。dcpos 和 cpos 是序理论的概念,主要应用于理论计算机科学和指称语义。 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とは、半順序集合の特別なクラスで、完備性によって特徴づけられる。完備半順序は理論計算機科学、表示的意味論、領域理論において中心的な役割を果たす。
n13:hasRank
_:vb27253538
n16:hypernym
dbr:Classes
Subject Item
_:vb27253538
n13:rankValue
3.05161