Enseignement
- Cours 1 [pdf]
- Cours 2 [pdf]
- Cours 3.1 [pdf] Cours 3.2 [pdf]
- Cours 4 [pdf]
- Cours 5 [pdf]
- Cours 6 [pdf] (début sémantique)
- Cours 7 [pdf]
- Cours 1 [pdf] Introduction, M.T., exécution.
- Cours 2 [pdf] M.T. simples. Décidabilité, réduction de problème
- Cours 3 (S. Brandel) [pdf] Classes P et NP
- Cours 3’ (S. Brandel) [pdf] NP-complétude
- Cours 4 [pdf] Décidabilité, Rice, arrêt uniforme
- Cours 4’ [pdf] Fonctions Gödel
- Cours 5 [pdf] Récriture du premier ordre
- Cours 6 [pdf] λ-calcul pur
- Cours 7 et 8 [pdf] λ-calculs pur et typés
- Cours 7 (avec E. Coquery) [code] objets fonctionnels purs
- Cours 1 [pdf]
- Cours 2 [pdf]
- Cours 3 [pdf] + Règles déduction naturelle
- Cours 4 [pdf] (2 séances)
- Cours 5 pas de support (pour l’instant)
- Cours 6 [pdf]
- Cours 7 [pdf] (de N. Louvet)
- Cours 8 [pdf] (routines)
- Cours 9 [pdf] (contrôle)
- Cours sur les caches, pas de support (pour l’instant)
- Cours 10 [pdf] (boucles)