Enseignants Grenoble
Michel Lévy : responsable de l'UE, auteur du cours polycopié
Philippe Bidinger
Pascal Lafourcade
François Puitg
Enseignant Valence
Stéphane Devismes : responsable de l'UE, auteur des "transparents"
Cours
Attention le chapitre 5 a été modifié le 29 avril 2009.
Cours avec exercices (mais sans les corrigés)
Transparents pour la logique du premier ordre
Partiel
Examen
DM