Cours
  1. Relations binaires : composition, produit de matrices

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

  3. Relations d'equivalence, normalisation, ensemble quotient

  4. Bijections et ensembles énumerables

  5. Ensembles définis récursivement, fonctions récursives, preuve par récurrence

  6. Ensembles non-dénombrables et limites de l'informatique

  7. Déduction naturelle et définitions par récurrence
Responsable de l'UE : Cristian Ene