Revue de presse Ordre_partiel_complet
Ordre partiel complet
Un article de Wikipédia, l'encyclopédie libre.
 |
Cet article est une ébauche concernant l?informatique.
Vous pouvez partager vos connaissances en l?améliorant (comment ?) selon les recommandations des projets correspondants.
|
Un ordre partiel complet (complete partial order ou CPO) est un ensemble partiellement ordonné qui a un plus petit élément et dont toutes les chaînes ont une borne supérieure.
Cette définition fait du CPO un cas particulier d'ensemble inductif strict.
La notion de CPO est utilisée pour résoudre les équations aux domaines notamment quand on cherche une sémantique dénotationnelle d'un langage en informatique.
Mirror_ebab
La source est wikipedia http://fr.wikipedia.org/wiki/ Ordre partiel complet
