Jean-Pierre Jouannaud
Professeur (Full Professor).
Avis : les notes de cours ci-dessous sont tatouées par des quelques typos répertoriées et judicieusement placées.
Informatique Théorique
(Université Paris-Sud, Licence d'Informatique, cours et TD)
Démonstration Automatique (Master Parisien Recherche en Informatique)
Présentation première partie
Présentation seconde partie
Corrigé du devoir numéro 1 2004
Corrigé du devoir numéro 2 2004
Cours première partie
Cours seconde partie
Récriture d'Ordre Supérieur (Master Parisien Recherche en Informatique)
Présentation-1
Présentation-2
Présentation-3
Présentation-4
Cours : Confluence de la ROS
Devoir
Termes de premier ordre
(DEA
Programmation : Sémantique et Preuves
, cours)
Méthodes avancées de preuve de terminaison en récriture (DEA
Programmation : Sémantique et Preuves
, cours)
Spécification et Vérification de programmes réactifs temps réel
(Ecole Polytechnique, Majeure d'Informatique)
Logique du premier ordre (Ecole Polytechnique, Majeure d'Informatique)
Présentation-1
Présentation-2
Présentation-3
Présentation-4
Devoir de logique
Devoir de Majeure informatique
Cours
Génie Logiciel
(Université Paris Sud, Licence d'Informatique, TD)