Logique et automates

M2 IMD, 2021—2022

Cette année le cours est entièrement hébergé sur Ametice. Je reproduis sur cette page les supports utilisés :

Introduction
diapo
Mise à niveau : propositions et prédicats
diapo
exercices
Mise à niveau : déduction
diapo
vidéo
exercices
Mise à niveau : (in)complétude
diapo
vidéo
exercices
Calcul des séquents
diapo
vidéo
Élimination des coupures
diapo
vidéo
exercices
λ-calcul
diapo
vidéo
exercices
Calculabilité en λ-calcul
fiche d’activité
Devoir à la maison
sujet

Dernière mise à jour
le 22 octobre 2021.

XHTML et CSS valides?