Exercices

Relations binaires

  1. Feuille 1 - relations binaires (définitions) : sujet
  2. Feuille 2 - relations binaires (propriétés) : sujet
  3. Feuille 3 : sujet
  4. Feuille 4 : sujet

Preuve en déduction naturelle

  1. Série 1 -- introduction aux arbres de preuve : sujet
  2. Série 2 -- implication, conjonction, disjonction : sujet
  3. Série 3 -- quantifications : sujet
  4. Série 4 -- négation : sujet
  5. Série 8 -- preuve par récurrence : sujet

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

  1. Série 1 - Ensembles : révisions et définitions : sujet
  2. Série 2 -- Ensembles : preuve de propriétés sur les ensembles : sujet
Responsables de l'UE : Cristian Éné & Michaël PÉRIN