Parisian Master of Research in Computer Science
Master Parisien de Recherche en Informatique (MPRI)

Differences

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

Link to this comparison view

cours:c-2-7-2 [2018/11/06 00:00]
sozeau [Transparents cours et TPs]
cours:c-2-7-2 [2018/11/06 11:20] (current)
sozeau [Evaluation du module]
Line 52: Line 52:
 ==== Evaluation du module ==== ==== Evaluation du module ====
  
-  * Examen écrit, durée 3h.+  * Examen écrit, durée 3h. Le 22/11/2018, de 8h45 à 11h45.
   * Exercices en Coq à préparer individuellement, à partir de la moitié du cours. Ces exercices consisteront à implanter des définitions ou prouver des lemmes (remettre le fichier source), ou encore expliquer des choix de modélisation (document PDF).   * Exercices en Coq à préparer individuellement, à partir de la moitié du cours. Ces exercices consisteront à implanter des définitions ou prouver des lemmes (remettre le fichier source), ou encore expliquer des choix de modélisation (document PDF).
  
 
Universités partenaires Université Paris-Diderot
Université Paris-Saclay
ENS Cachan École polytechnique Télécom ParisTech
ENS
Établissements associés Université Pierre-et-Marie-Curie CNRS INRIA CEA