Cours
  1. Relations binaires : composition, produit de matrices (pdf)

  2. Relations binaires : clotûre transitive, suite récurrente, application au problème du plus court chemin (pdf)

  3. Relations d'equivalence, normalisation, ensemble quotient (pdf)

  4. Bijections et ensembles énumerables (pdf)

  5. Déduction naturelle et définitions par récurrence
Responsable de l'UE : Patrick Loiseau