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

| Semaine              |                Cours                             | TD						|
| -------------------- | ------------------------------------------------ | ----------------------- |
| 1 : 06/09 - 10/09	   | [Formes propositionelles](./cours/1logique1.pdf)  | [td1](./td/td1.pdf)     |
| 2 : 13/09 - 17/09    | [Formes normales, simplification](./cours/2logique2.pdf) | [td2](./td/td2.pdf) |
| 3 : 20/09 - 24/09    |  [Formes prédicatives](./cours/3logique3.pdf)            | [td3](./td/td3.pdf) |
<!--
### Ensembles, relations, fonctions.

| Semaine              |                Cours                             | TD						|
| -------------------- | ------------------------------------------------ | ----------------------- |
| 4 : 27/09 - 01/10	   | [Ensembles](./cours/4ensembles.pdf)  | [td4](./td/td3.pdf)     |
| 5 : 04/10 - 08/10    | [Relations](./cours/5relations.pdf) | [td5](./td/td4.pdf) |
| 6 : 11/10 - 15/10    | [Fonctions](./cours/6fonctions.pdf) | [td6](./td/td5.pdf) |
| 7 : 18/10 - 22/10    | [Cardinalités](./cours/7cardinalite.pdf) |  [td6](./td/td5.pdf)|

-->

## TP
 - [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) 
 vers le serveur WIMS.
 - [Exercice](http://www.iut-fbleau.fr/math/logique/telechargements/index.php) de simplification de formules
 polynomiales.