Logique et automates

M2 IMD, 2020—2021

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 2 novembre 2020.

XHTML et CSS valides?