Enseignement
Slides supports de cours
Ressources et sujets TD
Sujets ECA et interro.
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
Ressources et sujets TP
Sujets ECA et interro., annales
Slides supports de cours
- Cours 1-3 [pdf] Introduction,
représentation d’ensembles, structures persistantes.
- Code des Patricia [code].
- Cours 5 [pdf] Intro hash-consing (code
en TP).
Le petit projet
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
Un peu de code (points fixes, listes)
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)
Sujets ECA et interro., annales
ISR 2012
Cours Track B "Advanced" Certification of Rewriting Properties" :
[pdf]
