Semainier provisionnel

Vous trouverez des liens et des données bibliographiques pour les lectures recommandées sur la page de ressources.

Voici le liens vers les notes de cours.

# Date Sujet Lecture recommandée À remettre
1 15 janvier Introduction. Jugements. Déduction naturelle.
2 22 janvier Réduction. Lambda calcul simplement typé. Correction et complétude locale. Utilisations et vérifications.
  • Chapitres 2.4–3.1
3 29 janvier Vérification de typage bidirectionnelle
  • Chapitres 3.2
  • [DK22] (facultatif)
4 5 février Calcul des séquents. Règles admissibles: affaiblissement, contraction, coupure. Devoir 1
5 12 février Cours annulé Devoir 2
6 19 février Cohérence. Normalization. Relations logiques.
7 26 février Induction et coinduction Devoir 3
5 mars Semaine de relâche
8 12 mars Arithmétique et quantification. Induction et récursion.
9 19 mars Logique classique. Continuations. Traductions Kolmogorov-Gödel-Gentzen (double négation). Devoir 4, choix de sujet de rapport
10 26 mars Logique linéaire. Systèmes de réécriture de multiensembles et programmation concurrente.
11 2 avril (l'axiomatique hilbertienne et combinateurs) OU (sémantique catégorielle) Devoir 5
12 9 avril Procédure de décision. Inversion. Brouillon du rapport
13 16 avril Chaînage. Focalisation. Devoir 6
14 23 avril Mathématiques constructives
15 30 avril Présentations orales Rapport, présentation orale