Differences

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

Link to this comparison view

start [2019/10/23 23:17]
mz [Supports d'enseignement 2019-20]
start [2020/04/22 17:21] (current)
mz [Supports d'enseignement 2019-20]
Line 50: Line 50:
 ===== Enseignement ===== ===== Enseignement =====
 ==== Supports d'​enseignement 2019-20 ==== ==== Supports d'​enseignement 2019-20 ====
 +  * 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]],​
 +    * [[http://​www.lsv.fr/​Publis/​PAPERS/​PDF/​bouyer-etr05.pdf|Article]] et [[http://​www.lsv.fr/​~bouyer/​files/​movep14.pdf|diaporama]] de Patricia Bouyer sur les automates temporisés,​
 +    * [[https://​www.labri.fr/​perso/​zeitoun/​enseignement/​19-20/​Verif/​DM-verif-1920.pdf|Devoir à la maison]],
 +    * [[https://​www.labri.fr/​perso/​zeitoun/​enseignement/​19-20/​Verif/​WSTS.pdf|Article]] et [[https://​www.labri.fr/​perso/​zeitoun/​enseignement/​19-20/​Verif/​WSTS-sujet.pdf|exercices]] sur les systèmes bien structurés.
 +
   * Préparation CAPES maths, Master MEEF   * Préparation CAPES maths, Master MEEF
     * [[https://​www.labri.fr/​perso/​zeitoun/​enseignement/​19-20/​CAPES-MEEF/​Algo-CAPES-MEEF.pdf|Diapos de cours]].     * [[https://​www.labri.fr/​perso/​zeitoun/​enseignement/​19-20/​CAPES-MEEF/​Algo-CAPES-MEEF.pdf|Diapos de cours]].