UE CHOIX Info : Informatique Théorique (MIT)

Organisation

Liste CHOIX Info : Informatique Théorique
1 option(s) au choix parmi 1

• Spécifications formelles, vérification, validation (5 crédits ECTS)
• Technologies de la langue (5 crédits ECTS)
• Algorithmes d'exploration et de mouvement (5 crédits ECTS)
• Algorithmes géométriques et géométrie discrète (5 crédits ECTS)

Volume horaire

• CM : 0
• TD : 0
• TP : 0

Diplômes intégrant cette UE

• CURSUS MASTER EN INGENIERIE (CMI)
• MASTER INFORMATIQUE