Ma sélection
Votre sélection est vide.

Enregistrez les diplômes, parcours ou enseignements de votre choix.
Télécharger

Accueil
Offre de formation
Master
Sciences, Technologies, Santé
Mathématiques et applications
Master Mathématiques et applications - Parcours : Logique mathématiques et fondements de l'informatique (LMFI)
Bloc Ouverture : 1 UE au choix parmi les 2
Cours d'ouverture de Logique Mathématiques 2
Initiation à la preuve formelle assistée par ordinateur

Initiation à la preuve formelle assistée par ordinateur

ECTS
4 crédits

Dernière mise à jour le 8 juillet 2021