===== M2 LMFI: Cours fondamental de logique 2021-2022 =====
==== Cours de théorie de la démonstration ====
=== Partie sur la déduction naturelle et le lambda-calcul ===


== Notes de cours ==

  * [[https://www.irif.fr/_media/users/saurin/teaching/lmfi/cours-01.pdf|Chapitre 1: Introduction à la déduction naturelle (version préliminaire, en français)]]
  * [[https://www.irif.fr/_media/users/saurin/teaching/lmfi/cours-02.pdf|Chapitre 2: Coupures et propriété de la sous-formule en déduction naturelle (version préliminaire et incomplète)]]
  * [[https://www.irif.fr/_media/users/saurin/teaching/lmfi/cours-03.pdf|Chapitre 3: Premières notions de lambda-calcul (version préliminaire, en français)]]
  * Chapitre 4: constructions de points-fixes en lambda-calcul  (voir le sujet de DM)
  * [[https://www.irif.fr/_media/users/saurin/teaching/lmfi/cours-05.pdf|Chapitre 5: Confluence du lambda-calcul (version préliminaire, en français, du 17/11/21)]]
  * [[https://www.irif.fr/_media/users/saurin/teaching/lmfi/cours-06.pdf|Chapitre 6: Résidus et développements, théorème des développements finis (version du 28/11/21)]] 
  * [[https://www.irif.fr/_media/users/saurin/teaching/lmfi/cours-07.pdf|Chapitre 7: Standardisation, réduction gauche et réduction de tête (version du 28/11/21)]]
  * Chapitre 8: Lambda-calculabilité: représentation des fonctions récursives (voir le sujet de DM ci-dessous)
  * [[https://www.irif.fr/_media/users/saurin/teaching/lmfi/cours-09.pdf|Chapitre 9: Lambda-calcul simplement typé et théorèmes de normalisation  (version du 28/11/21)]]


== Travaux dirigés ==

  * [[https://www.irif.fr/_media/users/saurin/teaching/lmfi/td-01.pdf|TD du 10 novembre 2021]]
  * [[https://www.irif.fr/_media/users/saurin/teaching/lmfi/exo-developpements-finis.pdf|Exercices préparatoires pour le TD du 24 novembre 2021]]

== DM ==

  * [[https://www.irif.fr/_media/users/saurin/teaching/lmfi/dm.pdf|DM pour le 3 décembre 2021]] (version éditée le 28/11/21)

== Références bibliographiques ==

À venir