# Mathématiques discrètes (R1.06)
## Cours/TD
### Introduction à la logique.

| Semaine              |                Cours                             | TD						|
| -------------------- | ------------------------------------------------ | ----------------------- |
| 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						|
| -------------------- | ------------------------------------------------ | ----------------------- |
| 4 	   | [Ensembles](./cours/ensembles.pdf)  | [td3](./td/td3.pdf)     |
| 5 	   | [Relations](./cours/relations.pdf)  | [td3](./td/td3.pdf)   |
| 6 	   | [Relations](./cours/relations.pdf), [Ordre](./cours/ordre.pdf)  | [td4](./td/td4.pdf)   |
| 7 	   | [Fonctions](./cours/fonctions.pdf), [Cardinalité](./cours/cardinalite.pdf) | [td5](./td/td5.pdf)     |

## TP
 - [Lien](https://iut-fbleau.fr/wims) vers le serveur WIMS.
 - [Exercice](http://www.iut-fbleau.fr/math/logique/telechargements/index.php) de simplification de formules
   polynomiales.

## Divers
[ds 2023](./ds/ds_2023.pdf)