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 [2019/09/13 12:21]
barras
cours:c-2-7-2 [2019/10/18 15:54] (current)
sozeau [Transparents cours et TPs]
Line 6: Line 6:
 ==== Informations pratiques pour 2019-2020 ==== ==== Informations pratiques pour 2019-2020 ====
  
-  *  Le cours a lieu en salle 1014, le vendredi de 16h15 à 19h15. +  *  Le cours a lieu en salle 1014, le vendredi de 16h15 à 19h15.  <html><span style="color:red;">Attention!</span></html> Pas de cours le 11 octobre.
   *  Il est nécessaire d'apporter un ordinateur portable sur lequel [[http://coq.inria.fr/download|Coq]] est installé pour les travaux pratiques (version 8.5 ou plus de préférence).   *  Il est nécessaire d'apporter un ordinateur portable sur lequel [[http://coq.inria.fr/download|Coq]] est installé pour les travaux pratiques (version 8.5 ou plus de préférence).
   * Il est demandé un niveau de pratique de Coq minimal. Pour cela, il est conseillé de suivre *une* des méthodes introductives citées plus bas (ou bien le début pour les plus elaborées).   * Il est demandé un niveau de pratique de Coq minimal. Pour cela, il est conseillé de suivre *une* des méthodes introductives citées plus bas (ou bien le début pour les plus elaborées).
Line 62: Line 62:
  
 Cette section se remplira cours après cours... Cette section se remplira cours après cours...
 +  * {{:cours:upload:2-7-2-2019-cours1.pdf|Cours 1}}, {{:cours:upload:2-7-2-2019-tp1.pdf|TP 1}}, {{:cours:upload:2-7-2-2019-tp1c.v.txt|corrigé}}.
 +  * {{:cours:upload:2-7-2-2019-cours2.pdf|Cours 2}}, {{:cours:upload:2-7-2-2019-tp2.pdf|TP 2}}, {{:cours:upload:2-7-2-2019-tp2c.v.txt|corrigé}}.
 +  * {{:cours:upload:2-7-2-2019-cours3.pdf|Cours 3}}, {{:cours:upload:2-7-2-2019-tp3.pdf|TP 3}}, {{:cours:upload:2-7-2-2019-tp3c.v.txt|corrigé}}.
 +  * {{:cours:upload:2-7-2-2019-cours4.pdf|Cours 4}}, {{:cours:upload:2-7-2-2019-tp4.pdf|TP 4}}, {{:cours:upload:2-7-2-2019-tp4c.v.txt|corrigé}}.
 +  * [[https://www.irif.fr/~sozeau//teaching/MPRI-2-7-2-2019/|Cours 5 et TP 5]]
 +
  
 ==== Pré-requis ==== ==== Pré-requis ====
Line 112: Line 118:
   * The Univalent Foundations Program, Institute for Advanced Study. [[http://homotopytypetheory.org/book/|Homotopy Type Theory]].   * The Univalent Foundations Program, Institute for Advanced Study. [[http://homotopytypetheory.org/book/|Homotopy Type Theory]].
  
 +==== Les années précédentes ====
 +
 +Annales examens:
  
 +   * {{:cours:upload:2-7-2-examen1718.pdf|Examen 2017-2018}}
 +   * {{:cours:upload:2-7-2-examen1516.pdf|Examen 2015-2016}}
 + 
 +Exercices:
 +   * {{:cours:upload:2-7-2-exo1718.pdf|Exercice 2017-2018}}
  
 ==== Équipe pédagogique ==== ==== Équipe pédagogique ====
 
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