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.

• toc : 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. 9)
  • refining programs
  • intervals in R and exact real arithmetic
  • information orderings
  • semantics and semantic domains (ch 9)
  • theory of fixpoints (ch. 8)