IRIF

Thomas Ehrhard

Dernière mise à jour : 16/04/2019

IRIF
Université Paris Diderot - Paris 7
Case 7014
75205 PARIS Cedex 13

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

Adresse physique : Bâtiment Sophie Germain, 8 place Aurélie Nemours, 75013 Paris. Bureau 4014a.

ehrhard@irif.fr

Enseignement

J'enseigne principalement dans le M2 MPRI.

  • 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.