Diplômes concernés
Composition du parcours
- MI P1 Mathématiques et Informatique
- CSC_51050_EP Algorithmique avancée
- CSC_51051_EP Logique Informatique : de l'Intelligence Artificielle à l'Absence d'erreurs
- CSC_51055_EP IA formelle en programmation logique avec contraintes
- CSC_51056_EP Analyse topologique de données
- CSC_51058_EP Introduction à la Cryptologie
- CSC_51063_EP Théorie de l'information
- FMA_51052_EP Théorie algébrique des nombres
- FMA_51056_EP Groupes, anneaux, modules et représentations
- FMA_51057_EP Topologie algébrique
- CSC_50P19_EP Projet 3A MAT-INFO
- MI P2 Mathématiques et Informatique
- CSC_52061_EP Randomisation en Informatique : Jeux, Graphes et Algorithmes
- CSC_52068_EP Cryptologie Avancée
- FMA_52062_EP Introduction à la géométrie algébrique et courbes elliptiques
- FMA_52063_EP Groupes compacts et groupes de Lie
- CSC_50P19_EP Projet 3A MAT-INFO
- CSC_52001_EP Thèmes avancés de l'informatique et de l'information quantiques
- CSC_52003_EP Diagrammes et programmes quantiques
- CSC_52070_EP Logical verification of hybrid systems
- CSC_52071_EP Foundations in software verification
- MI P3 Mathématiques et Informatique
- CSC_52991_EP Stage de recherche en science informatique
- FMA_52991_EP Stage - Groupes et représentations
- FMA_52992_EP Stage - Analyse, Probabilités et applications
- FMA_52993_EP Stage - Géométrie et systèmes dynamiques
- FMA_52994_EP Stage - Théorie des nombres et géométrie algébrique