UE CHOIX Info : Informatique Théorique (MIT)Code de l'UE : HMINX205
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
En bref
Période de l'année
secondSemestre
Contact(s)
Composante
Faculté des Sciences