Mathématiques discrètes (R1.06)
Cours/TD
Introduction à la logique.
| Semaine | Cours | TD |
|---|---|---|
| 1 | Formes propositionelles | td1 |
| 2 | Calcul propositionnel, formes normales, simplification | td2 |
| 3 | Formes prédicatives | td3 |
Ensembles, relations, fonctions.
| Semaine | Cours | TD |
|---|---|---|
| 4 | Ensembles, Relations | td3 |
| 5 | Relations, Ordre | td4 |
| 6 | Ordre, Fonctions | td4 |