2023-09-06 14:38:08 +02:00
|
|
|
# Mathématiques discrètes (R1.06)
|
|
|
|
|
## Cours/TD
|
|
|
|
|
### Introduction à la logique.
|
|
|
|
|
|
|
|
|
|
| Semaine | Cours | TD |
|
|
|
|
|
| -------------------- | ------------------------------------------------ | ----------------------- |
|
2023-10-12 11:57:38 +02:00
|
|
|
| 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) |
|
2023-09-26 10:09:06 +02:00
|
|
|
|
2023-09-06 14:38:08 +02:00
|
|
|
### Ensembles, relations, fonctions.
|
|
|
|
|
|
|
|
|
|
| Semaine | Cours | TD |
|
|
|
|
|
| -------------------- | ------------------------------------------------ | ----------------------- |
|
2023-10-12 11:57:38 +02:00
|
|
|
| 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) |
|
2023-10-03 12:00:34 +02:00
|
|
|
<!--
|
2023-10-12 11:57:38 +02:00
|
|
|
| 7 : 17/10 - 15/10 | [Fonctions](./cours/6fonctions.pdf) | [td6](./td/td5.pdf) |
|
|
|
|
|
| 8 : 24/10 - 22/10 | [Cardinalités](./cours/7cardinalite.pdf) | [td6](./td/td5.pdf)|
|
2023-09-06 14:38:08 +02:00
|
|
|
|
2023-09-06 14:40:52 +02:00
|
|
|
-->
|
2023-09-06 14:38:08 +02:00
|
|
|
|
|
|
|
|
## TP
|
2023-09-06 14:40:52 +02:00
|
|
|
- [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)
|
2023-09-06 14:38:08 +02:00
|
|
|
vers le serveur WIMS.
|
|
|
|
|
- [Exercice](http://www.iut-fbleau.fr/math/logique/telechargements/index.php) de simplification de formules
|
|
|
|
|
polynomiales.
|
