Thomas Ehrhard

Dernière mise à jour : 16/01/2025

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.

Enseignement

J'enseigne principalement dans le M2 MPRI.

Slides, can be used as lecture notes.
Notes, contain much more things than what will be taught!
Feuille d'exercices no 1: généralités sur la catégorie des treillis complets
Feuille d'exercices no 2: la catégorie des treillis complets est *-autonome, et solutions
Feuille d'exercices no 3: espaces cohérents et fonctions stables, avec des solutions.
Feuille d'exercices no 4: catégorie d'Eilenberg Moore du modèle relationnel.
Feuille d'exercices no 5: introduction aux espaces cohérents probabilistes.

Slides - more than what has been actually covered!
Feuille d'exercices 1 pour le 10/12/2021.
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.

Pour le 9 mars 2021: the exam subject will be available here.
Notes pour ma partie du cours MPRI 2-02 (plus beaucoup d'autres choses).
Transparents associés, d'autres transparents seront ajoutés. Vous pouvez aussi regarder cette introduction à la logique linéaire basée sur la sémantique.
Feuille d'exercices 1 associée. D'autres exercices seront ajoutés. 18/1/21: correction d'un bug dans le 1er exercice. solutions de quelques exercices.
Feuille d'exercices 2 associée. D'autres exercices seront ajoutés.
Sujet d'examen 2020

Feuille de TD 1 de 2019-2020.
Feuille de TD 2 de 2019-2020.
Feuille de TD pour la séance du 22 janvier 2019.
Feuille de TD pour la séance du 13 novembre 2018.
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.