| # cours | Groupe 01 | Matière | Section | Document |
|---|---|---|---|---|
| 1 | mar 26 août | Accueil - Tables de vérité | 1.1 | Exercices - Logique (rep) |
| 2 | mar 02 sept | Connecteurs logiques, propriétés | 1.2, 1.3 | |
| 3 | mar 11 sept | Quantificateur, règle d'inférence | Fin 1.3, début 2.1 | |
| 4 | mar 16 sept | Preuve directe-indirecte | 2.2 | Exo - Preuves (rep) |
| 5 | mar 23 sept | Examen 1 | Préparation à l'examen | |
| 6 | mar 30 sept | Journée de la réconciliation | ||
| 7 | mar 07 oct | Preuve contradiction, existentielle et récurrence | ||
| Relâche | mar 14 oct | |||
| 8 | mar 21 oct | Ensembles, opérateurs, propriétés | ||
| 9 | mar 28 oct | Ensembles infinis | ||
| 10 | mar 04 nov | Examen 2 | ||
| 11 | mar 11 nov | Relation, classe d'équivalence, ensemble quotient | ||
| 12 | mar 18 nov | Relation d'ordre | ||
| 13 | mar 25 nov | Loi de composition, propriétés, isomorphisme, Semigroupe, cardinaux et ordinaux | ||
| 14 | mar 02 déc | Semigroupe, cardinaux et ordinaux | ||
| 15 | mar 9 déc | Examen final |