Projet Logique
Cette UE optionnelle de 6 ECTS se découpe en 15 séances de 1h30 pour un total de 22h30.
Ces séances ont lieu le mercredi de 17h15 à 18h45, en salle 1S53.
Plus d'informations ici.
Descriptif de l'UE
L'objectif de cette UE est de découvrir différents outils liés à la logique.
L'accent sera particulièrement mis sur l'assistant à la preuve Coq.
Modalités de validation
Matériel pour les séances
Contact
Pour toutes questions relatives à cette UE, merci de me contacter à l'adresse suivante : ledein (at) lsv (dot) fr