diff --git a/maths_discretes/README.md b/maths_discretes/README.md index 72646de..4f24ece 100644 --- a/maths_discretes/README.md +++ b/maths_discretes/README.md @@ -6,6 +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 | +| -------------------- | ------------------------------------------------ | ----------------------- | +| 3/4 | [Ensembles](./cours/ensembles.pdf) | [td3](./td/td3.pdf) | ## TP - [Lien](https://iut-fbleau.fr/wims) vers le serveur WIMS. diff --git a/maths_discretes/cours/ensembles.pdf b/maths_discretes/cours/ensembles.pdf new file mode 100644 index 0000000..da5a3d6 Binary files /dev/null and b/maths_discretes/cours/ensembles.pdf differ diff --git a/maths_discretes/cours/logique3.pdf b/maths_discretes/cours/logique3.pdf new file mode 100644 index 0000000..0c5efb4 Binary files /dev/null and b/maths_discretes/cours/logique3.pdf differ