Update 'README.md'
This commit is contained in:
parent
80d783bab3
commit
158c393127
@ -4,7 +4,8 @@
|
|||||||
|
|
||||||
| Semaine | Cours | TD |
|
| 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) |
|
||||||
|
<!--
|
||||||
| 2 : 13/09 - 17/09 | [Formes normales, simplification](./cours/logique2.pdf) | [td2](./td/td2.pdf) |
|
| 2 : 13/09 - 17/09 | [Formes normales, simplification](./cours/logique2.pdf) | [td2](./td/td2.pdf) |
|
||||||
| 3 : 20/09 - 24/09 | [Formes prédicatives](./cours/logique3.pdf) | [td3](./td/td3.pdf) |
|
| 3 : 20/09 - 24/09 | [Formes prédicatives](./cours/logique3.pdf) | [td3](./td/td3.pdf) |
|
||||||
|
|
||||||
@ -17,10 +18,10 @@
|
|||||||
| 6 : 11/10 - 15/10 | [Fonctions](./cours/fonctions.pdf) | [td6](./td/td5.pdf) |
|
| 6 : 11/10 - 15/10 | [Fonctions](./cours/fonctions.pdf) | [td6](./td/td5.pdf) |
|
||||||
| 7 : 18/10 - 22/10 | [Cardinalités](./cours/cardinalite.pdf) | [td6](./td/td5.pdf)|
|
| 7 : 18/10 - 22/10 | [Cardinalités](./cours/cardinalite.pdf) | [td6](./td/td5.pdf)|
|
||||||
|
|
||||||
|
-->
|
||||||
|
|
||||||
## TP
|
## 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.
|
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.
|
||||||
|
Loading…
Reference in New Issue
Block a user