Exercices

Relations binaires

  1. Feuille 1 : pdf ; correction partielle

Preuve en déduction naturelle

  1. Feuille 2 : pdf

Ensembles et preuve de propriétés sur les ensembles

  1. Feuille 3 : pdf
Responsable de l'UE : Patrick Loiseau