monnerat/maths_2025
1
2
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

ajout cm

Browse Source
This commit is contained in:
Denis Monnerat
2025-09-12 09:00:37 +02:00
parent 946c7e588c
commit fea867cdfb
2 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
maths_discretes/README.md
View File

@@ -5,6 +5,8 @@
| Semaine | Cours | TD | | Semaine | Cours | TD |
| -------------------- | ------------------------------------------------ | ----------------------- | | -------------------- | ------------------------------------------------ | ----------------------- |
| 1 | [Formes propositionelles](./cours/logique1.pdf) | [td1](./td/td1.pdf) | | 1 | [Formes propositionelles](./cours/logique1.pdf) | [td1](./td/td1.pdf) |
| 2 | [Calcul propositionnel, formes normales, simplification](./cours/logique2.pdf) | [td2](./td/td2.pdf) |
## TP ## TP
- [Lien](https://iut-fbleau.fr/wims) vers le serveur WIMS. - [Lien](https://iut-fbleau.fr/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

BIN
maths_discretes/cours/logique2.pdf Normal file
View File

Binary file not shown.