IRIF
Université Paris Cité
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 2023-2024
Année 2022-2023
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.
