# 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     | [Calcul propositionnel, 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), [Ordre](./cours/ordre.pdf)  | [td4](./td/td4.pdf)   |
| 6 	  | [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)



