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