Differences

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

Link to this comparison view

start [2019/01/17 19:38]
mz [Supports d'enseignement 2018-19]
start [2019/02/21 18:03] (current)
mz [Supports d'enseignement 2018-19]
Line 52: Line 52:
   * Introduction à la vérification.   * Introduction à la vérification.
     * [[https://​www.labri.fr/​perso/​zeitoun/​enseignement/​18-19/​Verif/​IntroductionVerification.pdf|Diapos cours 1 (17/​1/​2019)]]     * [[https://​www.labri.fr/​perso/​zeitoun/​enseignement/​18-19/​Verif/​IntroductionVerification.pdf|Diapos cours 1 (17/​1/​2019)]]
 +    * [[https://​www.labri.fr/​perso/​zeitoun/​enseignement/​18-19/​Verif/​Cours-TD-1819.pdf|Notes de cours (21/​2/​2019)]]
  
   * Logique et langages, M2 AMF, VF et GL.   * Logique et langages, M2 AMF, VF et GL.