# 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) |

## 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)