Ordre partiel complet
- Ordre partiel complet
-
Ordre partiel complet
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.
Portail des mathématiques
Portail de l’informatique
Catégories : Théorie des ordres | Informatique théorique
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Ordre partiel complet de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Ordre partiel complet (informatique) — Ne pas confondre avec ce qu en mathématiques on appelle aussi ordre partiel complet ou treillis complet Un ordre partiel complet (complete partial order ou CPO) est un ensemble partiellement ordonné qui a un plus petit élément et dont… … Wikipédia en Français
Ordre partiel — Relation d ordre Une relation d’ordre dans un ensemble E est une relation binaire dans cet ensemble qui permet de comparer ses éléments entre eux de manière cohérente. Un ensemble muni d’une relation d’ordre est un ensemble ordonné ou tout… … Wikipédia en Français
Ordre (relation) — Relation d ordre Une relation d’ordre dans un ensemble E est une relation binaire dans cet ensemble qui permet de comparer ses éléments entre eux de manière cohérente. Un ensemble muni d’une relation d’ordre est un ensemble ordonné ou tout… … Wikipédia en Français
Ordre croissant — Relation d ordre Une relation d’ordre dans un ensemble E est une relation binaire dans cet ensemble qui permet de comparer ses éléments entre eux de manière cohérente. Un ensemble muni d’une relation d’ordre est un ensemble ordonné ou tout… … Wikipédia en Français
Ordre décroissant — Relation d ordre Une relation d’ordre dans un ensemble E est une relation binaire dans cet ensemble qui permet de comparer ses éléments entre eux de manière cohérente. Un ensemble muni d’une relation d’ordre est un ensemble ordonné ou tout… … Wikipédia en Français
partiel — partiel, ielle [ parsjɛl ] adj. • 1370; doublet de partial, lat. médiév. partialis 1 ♦ Qui ne constitue qu une partie d un tout (⇒ fragmentaire). Mouvements d ensemble et mouvements partiels. Épreuve partielle, examen partiel, dont la note… … Encyclopédie Universelle
Relation d'ordre — Une relation d’ordre dans un ensemble est une relation binaire dans cet ensemble qui permet de comparer ses éléments entre eux de manière cohérente. Un ensemble muni d’une relation d’ordre est un ensemble ordonné ou tout simplement un ordre.… … Wikipédia en Français
Graphe partiel — Lexique de la théorie des graphes Article principal : Théorie des graphes. Sommaire : Haut A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A … Wikipédia en Français
Topologie de l'ordre — En mathématiques, la topologie de l ordre est une topologie naturelle définie sur tout ensemble ordonné (E,≤), et qui dépend de la relation d ordre ≤. Lorsque l on définit la topologie usuelle de la droite numérique , deux approches équivalentes… … Wikipédia en Français
Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants … Wikipédia en Français
