Exercices

Relations binaires

  1. Feuille 1 : ps (2 par page) et en pdf

Preuve en déduction naturelle

  1. Feuille 2 : en ps (2 par page) et en pdf

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

  1. Feuille 3 : sujet
Responsable de l'UE : Cristian Ene