| # 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 | |
| mar 30 sept | Journée de la réconciliation | |||
| 6 | mar 07 oct | Preuve contradiction, existentielle et récurrence | 2.2, 2.3 et 2.4 | #7, 12 |
| Relâche | mar 14 oct | |||
| 7 | mar 21 oct | Ensembles, opérateurs, propriétés | 3.1 | Exo - Les ensembles (rep) |
| 8 | mar 28 oct | Paradoxe et formalisme | 3.2-3.3(en partie) | |
| 9 | mar 04 nov | Les grands ensembles | 3.3(fin), 3.4, 3.5 | |
| 10 | mar 11 nov | Examen 2 | ||
| 11 | mar 18 nov | Relation, classe d'équivalence, ensemble quotient | 4.1, 4.2 | Exo - Les relations (rep) |
| 12 | mar 25 nov | Relation d'ordre | 4.3 | |
| 13 | mar 02 déc | Loi de composition, propriétés, isomorphisme, Semigroupe, | 5.1 (5.2?) | Exo - Structures algébriques (rep) |
| 14 | mar 09 déc | Fin et résumé | ||
| 15 | mar 16 déc | Examen final |