d Master 1 : Sémantique des langages de programmation

Sémantique des langages de programmation 2021/2022



Les transparents du cours

Chapitre    Dernière mise à jour
Introduction (PDF)   02/02/22
Notions mathématiques de base (PDF)   02/02/22
Induction (PDF)   03/02/22
Untyped Lambda Calculus (PDF)   18/03/22
Typed Lambda Calculus (PDF)   28/03/22
Strong Normalization (PDF)   28/03/22
Operational Semantics (PDF)   28/03/22
Sigma Algebras (PDF)   04/04/22
Unification (PDF)   04/03/22
Confluence (PDF)   13/04/22
Termination (PDF)   20/04/22


La page des TDs

Horaire et salle de cours
  • Le mercredi de 10h45 à 12h45, salle 1001 (SG).
  • Le jeudi de 14h00 à 16h00, salle 1001 (SG).

    Examen final
    Mercredi 11 Mai, 12h-15h, Sophie-Germain, Salle 2035.