Pour ce module nous avons fixé deux objectifs :
Introduire les étudiants à la logique mathématique et en particulier à la méthode de la 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, et éventuellement de coder eux-mêmes un tel outil.
- معلم: MOHAMMED CHAOUI