Ordre partiel complet (informatique)

Regardez d'autres dictionnaires:

• 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… …   Wikipédia en Français

• Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   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

• Théorème du point fixe de Kleene —  Ne doit pas être confondu avec Théorème de Kleene ni Théorème de récursion de Kleene. En mathématiques, dans le domaine de la théorie des ordres, le théorème du point fixe de Kleene, s énonce comme suit : Soient L un ordre partiel… …   Wikipédia en Français

• Treillis (ensemble ordonné) — Pour les articles homonymes, voir Treillis. Le terme treillis provient de la forme du diagramme de Hasse associé à la relation d ordre. Un …   Wikipédia en Français

• Completude — Complétude Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom …   Wikipédia en Français

• Complétude — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Complétude », sur le Wiktionnaire (dictionnaire universel) On parle de complétude en mathématiques… …   Wikipédia en Français

• Complétude (mathématiques) — Complétude Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom …   Wikipédia en Français

• Incomplétude — Complétude Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom …   Wikipédia en Français

• Théorème de Robertson-Seymour — En mathématiques, et plus précisément en théorie des graphes, le théorème de Robertson–Seymour (parfois également appelé le théorème des mineurs, et connu, avant qu il soit démontré, sous le nom de conjecture de Wagner), est un théorème démontré… …   Wikipédia en Français