commit 80d783bab373cedc4b2cc12a3c5374eddfdf50c6 Author: dartoisl Date: Wed Sep 6 14:38:08 2023 +0200 première semaine diff --git a/README.md b/README.md new file mode 100644 index 0000000..26ddcd3 --- /dev/null +++ b/README.md @@ -0,0 +1,26 @@ +# Mathématiques discrètes (R1.06) +## Cours/TD +### Introduction à la logique. + +| Semaine | Cours | TD | +| -------------------- | ------------------------------------------------ | ----------------------- | +| 1 : 06/09 - 10/09 | [Formes propositionelles](./cours/logique1.pdf) | [td1](./td/td1.pdf) | +| 2 : 13/09 - 17/09 | [Formes normales, simplification](./cours/logique2.pdf) | [td2](./td/td2.pdf) | +| 3 : 20/09 - 24/09 | [Formes prédicatives](./cours/logique3.pdf) | [td3](./td/td3.pdf) | + +### Ensembles, relations, fonctions. + +| Semaine | Cours | TD | +| -------------------- | ------------------------------------------------ | ----------------------- | +| 4 : 27/09 - 01/10 | [Ensembles](./cours/ensembles.pdf) | [td4](./td/td3.pdf) | +| 5 : 04/10 - 08/10 | [Relations](./cours/relations.pdf) | [td5](./td/td4.pdf) | +| 6 : 11/10 - 15/10 | [Fonctions](./cours/fonctions.pdf) | [td6](./td/td5.pdf) | +| 7 : 18/10 - 22/10 | [Cardinalités](./cours/cardinalite.pdf) | [td6](./td/td5.pdf)| + + + +## TP + - [Lien]( https://wimsauto.universite-paris-saclay.fr/wims/wims.cgi?session=PH47F2DA8D.3&+lang=fr&+module=adm%2Fclass%2Fclasses&+type=authparticipant&+class=4291940&+subclass=yes) + vers le serveur WIMS. + - [Exercice](http://www.iut-fbleau.fr/math/logique/telechargements/index.php) de simplification de formules + polynomiales. diff --git a/cours/1logique1.pdf b/cours/1logique1.pdf new file mode 100644 index 0000000..c2d6312 Binary files /dev/null and b/cours/1logique1.pdf differ diff --git a/td/td1.pdf b/td/td1.pdf new file mode 100644 index 0000000..39cd05a Binary files /dev/null and b/td/td1.pdf differ