Differences

This shows you the differences between two versions of the page.

Link to this comparison view

start [2020/07/21 22:40]
mz [Supports d'enseignement 2019-20]
start [2020/07/21 22:40] (current)
mz [Supports d'enseignement 2019-20]
Line 51: Line 51:
 ==== Supports d'​enseignement 2019-20 ==== ==== Supports d'​enseignement 2019-20 ====
   * DIU Informatique   * DIU Informatique
-    * [[https://​www.labri.fr/​perso/​zeitoun/​enseignement/​19-20/​DIU|Page locale]]+    * [[https://​www.labri.fr/​perso/​zeitoun/​enseignement/​19-20/​DIU|Page locale]] ​(vidéos calculabilité,​ transparents arbres).
   * Introduction à la vérification,​ M1 info   * Introduction à la vérification,​ M1 info
     * [[https://​www.labri.fr/​perso/​zeitoun/​enseignement/​19-20/​Verif/​Cours-TD-1920.pdf|Notes de cours et exercices]],​     * [[https://​www.labri.fr/​perso/​zeitoun/​enseignement/​19-20/​Verif/​Cours-TD-1920.pdf|Notes de cours et exercices]],​