Logiques propositionnelle et du premier ordre
Introduction aux méthodes formelles de démonstration automatisée : algorithmes de décision, systèmes de déduction
Consulter le parcours de l'UE sur le Moodle UGA :
https://cours.univ-grenoble-alpes.fr/user/index.php?id=9202
- Enseignant responsable de cours: Benjamin Wack