IRIF

Thomas Ehrhard

Dernière mise à jour : 09/05/2022

IRIF
Université de Paris
Bâtiment Sophie Germain, Case courrier 7014
75205 PARIS Cedex 13

Tél : +33-1 57 27 92 17

Bureau 4014a.

ehrhard@irif.fr

Enseignement

J'enseigne principalement dans le M2 MPRI.

Année 2021-2022

  • Slides - more than what has been actually covered!
  • Feuille d'exercices 1 pour le 10/12/2021. Le corrigé de cette feuille.
  • Notes pour ma partie du cours MPRI 2-02 (plus beaucoup d'autres choses).
  • Exercises of the 2019-2020 exam. In particular exercises 1 and 2 are relative to the relational model.
  • This exercise sheet contains useful exercises on the relational model and on coherence spaces.
  • Exercises of the 2020-2021 exam, and exercises with solutions.

Année 2020-2021

Années précédentes

  • Feuille de TD 1 de 2019-2020 et corrigé.
  • Feuille de TD 2 de 2019-2020.
  • Feuille de TD pour la séance du 22 janvier 2019. Voir aussi des solutions à la plupart des exercices.
  • Feuille de TD pour la séance du 13 novembre 2018. J'ai rédigé des solutions à la plupart des exercices.
  • La dernière mise à jour de mes notes de cours (février 2018), datée du 9/02/2018.
  • Deux feuilles de TD pour accompagner le cours de 2017-2018. TD 1 et TD 2.
  • Deux feuilles de TD pour accompagner le cours de 2016-2017. Ces feuilles de TD contiennent aussi des éléments de cours pas forcément présents dans les notes. TD 1 et TD 2. Une partie de la réponse à la question 12.1 de cette feuille est ici.
  • Notes de cours MPRI 2-2 pour l'année 2015-2016. Les parties traitées en cours: chapitre 2, chapitre 3 et surtout sections 3.5 et 3.6, chapitre 5 section 5.5, section 6.1. Updates: 24/01/2016 (proof of Th 6.1.4 and Section 6.1.2).
  • Some slides for the last lecture.
  • An exercise sheet on CBPV and its denotational semantics.

Du vieux matériel, un peu en vrac. A utiliser avec précaution car les notations et les conventions peuvent avoir changé depuis.

  • Notes de cours MPRI 2-2 pour l'année 2014-2015
  • Feuilles de TD 2014-2015: TD 1, TD 2, TD 3
  • Un problème sur les espaces cohérents non uniformes. Attention, la conditionnelle à laquelle il est fait référence n'est pas celle du cours, mais la conditionnelle "usuelle" présentée en section 1.2.1 du cours.
  • Notes de cours 2013-2014, avec plus de matériel que ce qui a été vu cette année (et certains aspects traités différemment bien sûr). C'est à ces notes de cours qu'il est fait référence dans les exercices suivants.
  • Feuilles de TD 2013-2014: TD 1, TD 2. Attention! Le modèle de PCF auquel il est fait référence est le modèle de Scott, pas le modèle relationnel vu en 2014-2015, c'est pour cela que le système de typage sémantique de cette feuille de TD diffère de celui vu en cours en 2014-2015.
  • Sujets d'examen MPRI de 2009, 2010 et 2012.