From 16e7763514bd00223a9a28ae328742f976f90dd3 Mon Sep 17 00:00:00 2001 From: Denis Monnerat Date: Fri, 18 Sep 2026 10:03:43 +0200 Subject: [PATCH] predicats et ensembles --- maths_discretes/README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/maths_discretes/README.md b/maths_discretes/README.md index 4c7fe0c..9bfa010 100644 --- a/maths_discretes/README.md +++ b/maths_discretes/README.md @@ -6,11 +6,13 @@ | -------------------- | ------------------------------------------------ | ----------------------- | | 1 | [Formes propositionelles](./cours/logique1.pdf) | [td1](./td/td1.pdf) | | 2 | [Calcul propositionnel, formes normales, simplification](./cours/logique2.pdf) | [td2](./td/td2.pdf) | +| 3 | [Formes prédicatives](./cours/logique3.pdf) | [td3](./td/td3.pdf) | ### Ensembles, relations, fonctions. | Semaine | Cours | TD | | -------------------- | ------------------------------------------------ | ----------------------- | +| 4 | [Ensembles](./cours/ensembles.pdf) | [td3](./td/td3.pdf) | ## TP - [Lien](https://iut-fbleau.fr/wims) vers le serveur WIMS.