Master 2016 2017
SVP
Cours

Zip - 4.5 ko

1ère partie

Les thèmes abordés dans cette partie seront :

  1. programmation récursive avec Coq
  2. formules logiques, prédicats inductifs pour la spécification
  3. raisonnement logique et raisonnement par récurrence pour la vérification.

notes de cours

2éme partie

3ème partie

Documents joints

Document (PDF - 324 ko)
Document (PDF - 234.3 ko)
Document (PDF - 260.5 ko)
Document (PDF - 173.3 ko)
Document (Zip - 2.2 ko)
Document (Zip - 2.9 ko)
Document (Zip - 2.9 ko)
Document (PDF - 86.9 ko)
Document (Zip - 1.5 ko)
Document (Zip - 13.6 ko)
Document (Zip - 8.8 ko)
Document (Zip - 17.8 ko)