https://get-the.net/ 2026-09-12T08:52:37+02:00 https://get-the.net/ https://get-the.net/lib/images/favicon.ico text/html 2010-07-15T11:00:34+02:00 https://get-the.net/doku.php?id=math:ordered_sets&rev=1279184434&do=diff Celle-çi sera la page de départ pour un cours en ensembles ordonnés finis, si j'arrive à préparer un tels cours. En attendant, elle servira de passerelle vers mes notes. * : Parmi les sujets couvert par Davey & Priestly, et Caspard, Leclerc et Monjardet, que choisir pour un premier cours? Un deuxième? * examples (DAV 1.7-1.13) * social choice functions * (formal) concept analysis * order relations on data types * partial maps (and total maps) * consistency of programs (ch. …