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

| Semaine              |                Cours                             | TD						|
| -------------------- | ------------------------------------------------ | ----------------------- |
| 1 : 04/09 - 08/09	   | [Formes propositionelles](./cours/logique1.pdf)  | [td1](./td/td1.pdf)     |

## TP
 - [Lien](https://wims.math.cnrs.fr/wims/wims.cgi?session=PCFC93DAFB.3&+lang=fr&+module=adm%2Fclass%2Fclasses&+type=authparticipant&+class=4744459&+subclass=yes) 
   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)