Non connecté. (Connexion)

Logique mathématique
(LM)

Ce cours a pour objectif de donner aux étudiants des notions de calculabilité et les bases de la logique formelle à partir de l'étude de la logique propositionnelle