Compare commits

...

6 Commits

Author SHA1 Message Date
Denis Monnerat b68c1aab14 typo readme 2026-09-25 11:18:16 +02:00
Denis Monnerat 3d9d627468 cm ensembles 2026-09-25 10:00:37 +02:00
Denis Monnerat 40f50147d3 cm ensembles 2026-09-25 09:15:37 +02:00
Denis Monnerat a35dc1af99 td3 2026-09-18 17:59:05 +02:00
Denis Monnerat 16e7763514 predicats et ensembles 2026-09-18 10:03:43 +02:00
Denis Monnerat 27ff209ddf predicats et ensembles 2026-09-18 10:03:33 +02:00
5 changed files with 2 additions and 0 deletions
+2
View File
@@ -6,11 +6,13 @@
| -------------------- | ------------------------------------------------ | ----------------------- |
| 1 | [Formes propositionelles](./cours/logique1.pdf) | [td1](./td/td1.pdf) |
| 2 | [Calcul propositionnel, formes normales, simplification](./cours/logique2.pdf) | [td2](./td/td2.pdf) |
| 3 | [Formes prédicatives](./cours/logique3.pdf) | [td3](./td/td3.pdf) |
### Ensembles, relations, fonctions.
| Semaine | Cours | TD |
| -------------------- | ------------------------------------------------ | ----------------------- |
| 4 | [Ensembles](./cours/ensembles.pdf), [Relations](./cours/relations.pdf) | [td3](./td/td3.pdf) |
## TP
- [Lien](https://iut-fbleau.fr/wims) vers le serveur WIMS.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.