Enseignement
Slides supports de cours
- 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]
Ressources et sujets TD
- Règles de la déduction naturelle [pdf]
- Feuille 1 [pdf]
- Feuille 2 [pdf]
- Feuille 3 [pdf]
- Feuille 4 [pdf]
- Feuille 5 [pdf] avec règles pour quantificateurs
- Feuille 6 [pdf]
- Feuille 7 [pdf]
Ressources et sujets TP
Sujets ECA et interro., annales
Slides supports de cours
- 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
Quelques exercices
- [html] (Machines de Turing)
- [html] (suite Machines de Turing, décision)
- [html] (Classes P, NP, complétude)
- [html] (Fonctions récursives)
- [pdf] (Un peu de λ-calcul)
Annales
Slides supports de cours 2018
- 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)