| rdfs:comment
| - In mathematics, the phrase complete partial order is variously used to refer to at least three similar, but distinct, 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. (en)
- En matemáticas, el concepto orden parcial completo se usa para referirse al menos a tres clases de conjunto parcialmente ordenado similares, pero distintas, caracterizadas por . Los órdenes parciales completos desempeñan un papel principal en la informática teórica, en semántica denotacional y teoría de dominios. (es)
- Il existe plusieurs notions non équivalentes d'ordre partiel complet (complete partial order ou CPO). 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. (fr)
- 数学の特に順序理論関連分野における有向完備半順序（ゆうこうかんびはんじゅんじょ、英: directed-complete partial order; dcpo）および ω-完備半順序（オメガかんびはんじゅんじょ、英: ω-complete partial order; ωcpo）あるいは単に cpoとは、半順序集合の特別なクラスで、によって特徴づけられる。完備半順序は理論計算機科学、表示的意味論、領域理論において中心的な役割を果たす。 (ja)
- 순서론에서 상향 완비 원순서 집합(영어: directed-complete preordered set)은 모든 상향 집합이 상한을 갖는 원순서 집합이다. (ko)
- 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. (pl)
- 在数学中，有向完全偏序和完全偏序是两种特殊的偏序集合，分别简写为 dcpo 和 cpo。它们特征化自特定的完备性性质。dcpos 和 cpos 是序理论的概念，主要应用于理论计算机科学和指称语义。 (zh)
- Completude, na teoria da ordem, é a propriedade que diz que, se um conjunto for dividido em duas partes de modo que os elementos de uma parte são sempre menores que os da outra parte, então existe um ponto que faz a fronteira entre as partes. Ou, nas palavras de Richard Dedekind, que definiu este conceito para os números reais: Um erro comum é chamar como axioma de Dedekind a propriedade de que todo conjunto não-vazio limitado superiormente tem um supremo; este axioma não se encontra nos textos de Dedekind. Formalmente, este axioma pode ser escrito como: (pt)
|
| has abstract
| - In mathematics, the phrase complete partial order is variously used to refer to at least three similar, but distinct, 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. (en)
- En matemáticas, el concepto orden parcial completo se usa para referirse al menos a tres clases de conjunto parcialmente ordenado similares, pero distintas, caracterizadas por . Los órdenes parciales completos desempeñan un papel principal en la informática teórica, en semántica denotacional y teoría de dominios. (es)
- Il existe plusieurs notions non équivalentes d'ordre partiel complet (complete partial order ou CPO). 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. (fr)
- 数学の特に順序理論関連分野における有向完備半順序（ゆうこうかんびはんじゅんじょ、英: directed-complete partial order; dcpo）および ω-完備半順序（オメガかんびはんじゅんじょ、英: ω-complete partial order; ωcpo）あるいは単に cpoとは、半順序集合の特別なクラスで、によって特徴づけられる。完備半順序は理論計算機科学、表示的意味論、領域理論において中心的な役割を果たす。 (ja)
- 순서론에서 상향 완비 원순서 집합(영어: directed-complete preordered set)은 모든 상향 집합이 상한을 갖는 원순서 집합이다. (ko)
- 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. (pl)
- Completude, na teoria da ordem, é a propriedade que diz que, se um conjunto for dividido em duas partes de modo que os elementos de uma parte são sempre menores que os da outra parte, então existe um ponto que faz a fronteira entre as partes. Ou, nas palavras de Richard Dedekind, que definiu este conceito para os números reais: Se todos os pontos da reta são divididos em duas classes, tal que todo ponto da primeira classe está à esquerda de todo ponto da segunda classe, então existe um, e apenas um, ponto que causa esta divisão de todos os pontos em duas classes, este corte da reta em duas porções. (...) Assumir esta propriedade da linha não é nada além do que o axioma pelo qual consideramos a reta contínua. Um erro comum é chamar como axioma de Dedekind a propriedade de que todo conjunto não-vazio limitado superiormente tem um supremo; este axioma não se encontra nos textos de Dedekind. Formalmente, este axioma pode ser escrito como: Esta propriedade expressa a ideia de que a ordem linear (X, ≤) não tem buracos. O axioma da completude é expresso em uma , e não pode ser expresso em uma linguagem de primeira ordem. O axioma de Dedekind, em geometria, é, de certa forma, a recíproca da propriedade que diz que um ponto O em uma linha l separa esta linha em duas semi-retas, uma formada pelos pontos à "direita" de O e outra pelos pontos à "esquerda" de O. Formalmente, este axioma é escrito: Suponha que o conjunto de pontos da reta l seja a união disjunta de dois conjuntos não-vazios de forma que nenhum ponto de um subconjunto está entre pontos do outro subconjunto. Então existe um ponto único O de l tal que um dos dois subconjuntos é uma semi-reta que começa em O. Este axioma é equivalente à propriedade da menor quota superior. Um conjunto totalmente ordenado tem a propriedade da menor quota superior quando todo subconjunto não vazio que tem uma quota superior possui uma menor quota superior, ou seja, o conjunto dos elementos que são maiores que os elementos deste conjunto possui um mínimo. A propriedade da menor quota superior é equivalente à propriedade da maior quota inferior, que é enunciada de forma análoga, ou seja, todo subconjunto não vazio que tem uma quota inferior possui uma maior quota inferior. A demonstração de que a propriedade da menor quota superior é equivalente ao axioma de Dedekind é imediata. Se vale o axioma de Dedekind, então, para um conjunto limitado superiormente, toma-se B como o conjunto das quotas superiores, e A seu complemento. Este par de conjuntos satisfaz às premissas do axioma, portanto existe um elemento c que faz o corte entre eles, e c é obviamente a menor quota superior. Para demonstrar a recíproca, ou seja, dada uma partição em A e B em que cada elemento de A é menor que cada elemento de B, basta tomar c como a menor quota superior de A. Se um corpo ordenado satisfaz ao axioma de Dedekind então este corpo é arquimediano, ou seja, para qualquer elemento β > 0, temos que o conjunto { β, 2 β, 3 β, ...} não tem uma quota superior. Além disso, qualquer corpo de característica zero possui, como subcorpo, uma cópia do , os elementos desta cópia são definidos como as frações da forma (em que, nesta expressão, 1 é o elemento neutro multiplicativo do corpo). Se o corpo ordenado é arquimediano, então esta cópia de é um conjunto denso, ou seja, qualquer elemento do corpo está entre dois elementos desta cópia de . Com isto, dados dois corpos ordenados ordem-completos, é possível definir uma única função entre eles que preserva as operações de corpo e a relação de ordem. Como o é um corpo ordenado ordem-completo, o que se acabou de enunciar é que é único, a menos de isomorfismos. (pt)
- 在数学中，有向完全偏序和完全偏序是两种特殊的偏序集合，分别简写为 dcpo 和 cpo。它们特征化自特定的完备性性质。dcpos 和 cpos 是序理论的概念，主要应用于理论计算机科学和指称语义。 (zh)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)