From 158c393127e075aaff1d15e189666663c03f42a5 Mon Sep 17 00:00:00 2001 From: Luc Dartois Date: Wed, 6 Sep 2023 14:40:52 +0200 Subject: [PATCH] Update 'README.md' --- README.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) 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.