ajustement fin R1.06

2023-11-08 13:41:19 +01:00
parent abc4700f53
commit f5e4c63cfb
15 changed files with 0 additions and 0 deletions
@@ -0,0 +1,30 @@
+# Mathématiques discrètes (R1.06)
+## Cours/TD
+### Introduction à la logique.
+
+| Semaine              |                Cours                             | TD						|
+| -------------------- | ------------------------------------------------ | ----------------------- |
+| 1 : 05/09 	       | [Formes propositionelles](./cours/1logique1.pdf)  | [td1](./td/td1.pdf)     |
+| 2 : 12/09	       | [Formes normales, simplification](./cours/2logique2.pdf) | [td2](./td/td2.pdf) |
+| 3 : 19/09            |  [Formes prédicatives](./cours/3logique3.pdf)            | [td3](./td/td3.pdf) |
+
+### Ensembles, relations, fonctions.
+
+| Semaine              |                Cours                             | TD						|
+| -------------------- | ------------------------------------------------ | ----------------------- |
+| 4 : 26/09 	       | [Ensembles](./cours/4ensembles.pdf)  | [td4](./td/td3.pdf)     |
+| 5 : 03/10 	       | [Relations](./cours/5relations.pdf) | [td5](./td/td4.pdf) |
+| 6 : 10/10  	       | [Ordres](./cours/6ordres.pdf) | [td6](./td/td4.pdf) |
+| 7 : 17/10	       | [Fonctions](./cours/7fonctions.pdf) | [td6](./td/td5.pdf) |
+| 8 : 24/10	       | [Cardinalités](./cours/8cardinalite.pdf) |  [td6](./td/td5.pdf)|
+
+
+## TP
+ - [Lien]( https://wimsauto.universite-paris-saclay.fr/wims/wims.cgi?session=JP2834F744.3&+lang=fr&+module=adm%2Fclass%2Fclasses&+type=authparticipant&+class=4911103&+subclass=yes) 
+ vers le serveur WIMS.
+ - [Exercice](http://www.iut-fbleau.fr/math/logique/telechargements/index.php) de simplification de formules
+ polynomiales.
+ 
+## Contrôle
+- [Sujet Fontainebleau 2022](./cours/ds_2022.pdf)
+