Differences

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

Link to this comparison view

start [2019/10/10 01:04]
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]].
 +    * [[https://​www.labri.fr/​perso/​zeitoun/​enseignement/​19-20/​CAPES-MEEF/​TD.pdf|Exercices de TD]].
 +    * [[https://​www.labri.fr/​perso/​zeitoun/​enseignement/​19-20/​CAPES-MEEF/​TP.pdf|Exercices de TP en Python]].
  
   * [[https://​www.labri.fr/​perso/​zeitoun/​enseignement/​19-20/​CSI/​pmwiki.php|Théorie de la complexité]],​ Master CSI.   * [[https://​www.labri.fr/​perso/​zeitoun/​enseignement/​19-20/​CSI/​pmwiki.php|Théorie de la complexité]],​ Master CSI.