diff --git a/README.md b/README.md index 26ddcd3..261e777 100644 --- a/README.md +++ b/README.md @@ -4,7 +4,8 @@ | Semaine | Cours | TD | | -------------------- | ------------------------------------------------ | ----------------------- | -| 1 : 06/09 - 10/09 | [Formes propositionelles](./cours/logique1.pdf) | [td1](./td/td1.pdf) | +| 1 : 06/09 - 10/09 | [Formes propositionelles](./cours/1logique1.pdf) | [td1](./td/td1.pdf) | + ## TP - - [Lien]( https://wimsauto.universite-paris-saclay.fr/wims/wims.cgi?session=PH47F2DA8D.3&+lang=fr&+module=adm%2Fclass%2Fclasses&+type=authparticipant&+class=4291940&+subclass=yes) + - [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.