modif url wims

This commit is contained in:
Denis Monnerat 2024-09-11 09:11:43 +02:00
parent 9860f2f132
commit 4ffdb9efa0

View File

@ -7,8 +7,7 @@
| 1 : 04/09 - 08/09 | [Formes propositionelles](./cours/logique1.pdf) | [td1](./td/td1.pdf) | | 1 : 04/09 - 08/09 | [Formes propositionelles](./cours/logique1.pdf) | [td1](./td/td1.pdf) |
## TP ## 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) - [Lien](https://iut-fbleau.fr/wims) vers le serveur WIMS.
vers le serveur WIMS.
- [Exercice](http://www.iut-fbleau.fr/math/logique/telechargements/index.php) de simplification de formules - [Exercice](http://www.iut-fbleau.fr/math/logique/telechargements/index.php) de simplification de formules
polynomiales. polynomiales.