This commit is contained in:
Denis Monnerat 2024-09-13 09:08:14 +02:00
parent 4ffdb9efa0
commit 03aa0a45ca
2 changed files with 2 additions and 1 deletions

View File

@ -4,7 +4,8 @@
| Semaine | Cours | TD |
| -------------------- | ------------------------------------------------ | ----------------------- |
| 1 : 04/09 - 08/09 | [Formes propositionelles](./cours/logique1.pdf) | [td1](./td/td1.pdf) |
| 1 | [Formes propositionelles](./cours/logique1.pdf) | [td1](./td/td1.pdf) |
| 2 | [Formes normales, simplification](./cours/logique2.pdf) | [td2](./td/td2.pdf) |
## TP
- [Lien](https://iut-fbleau.fr/wims) vers le serveur WIMS.

Binary file not shown.