Cours et travaux dirigés : Pierre Lescanne, Odile Millet-Botta
Présentation générale
Le but de ce cours est de donner des bases de logique mathématique pour appréhender les concepts de modèle, de démonstration, de correction et de complétude d'un système de preuves. Le cours doit aussi contribuer à maîtriser les fondements formelles de l'informatique, notamment pour la spécification et la vérification des algorithmes et des programmes, la sémantique des langages de spécification et de programmation, la déduction automatique et la programmation logique, le raisonnement sur la connaissance.