Le but de ce cours est double:
- Introduire les étudiants à la logique mathématique et ,e n particulier à la théorie de démonstration.
- Fournir aux étudiants les bases nécessaires afin de pouvoir comprendre le fonctionnement de la plupart des outils de démonstration automatique développés en particulier dans le monde académique.