Cette UV a pour objectif de faire découvrir des méthodes de résolution de problèmes via la démonstration automatique et la programmation logique, ou par l'application de techniques de recherche.