diff --git a/maths_discretes/README.md b/maths_discretes/README.md index 88f0693..e94635b 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 | [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) | [td4](./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..3935c61 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..d450bc1 Binary files /dev/null and b/maths_discretes/cours/logique3.pdf differ