Enseignements

Année 2010-2011

Évaluation de performance

Je donne au premier semestre des TD pour le cours d'Évaluation de Performance donné par Éric Thierry.
  1. Rappels de probabilités (sujet et corrigé)
  2. Lois classiques (sujet et corrigé)
  3. Cours sur la simulation de variables aléatoires à partir d'une loi uniforme
  4. Schémas de Matthes et chaînes de Markov (sujet et corrigé)
  5. Modélisation et chaînes de Markov discrètes (sujet et corrigé)
  6. Correction du partiel du 4 novembre
  7. Théorèmes de Foster et protocole ALOHA discret (sujet et corrigé)
  8. Chaînes de Markov en temps continu (sujet et corrigé)
  9. Loi de Little et réseaux de Petri (sujet et corrigé)

Programmation 2

Au second semestre, je m'occupe, avec Paolo Tranquilli, des TD du cours de Programation 2 donné par Pierre Lescanne.
  1. Systèmes de Hilbert
  2. Déduction naturelle
  3. Modèle de Kripke et traduction de Gödel
  4. Machines de Turing et compilation
  5. Machines RAM et théorème de Rice
  6. Minimisation et fonction d'Ackermann
  7. Fonction d'Ackermann, problème du mot et λ-définissabilité
  8. Pavages et degrés Turing
  9. Révisions en vue du partiel
  10. Réécriture abstraite
  11. Terminaison et unification
  12. Unification et terminaison
  13. Bases de Gröbner et complétion
  14. Correction du partiel du 12 avril
  15. Sémantique axiomatique et logique de Hoare