Descriptif
Le parcours « MAT-INFO », à l’interface entre les Mathématiques pures et l’Informatique, concerne les thèmes de la Théorie des nombres, la Cryptologie, l’Algèbre, la Logique, les Fondements des mathématiques et de l’informatique.
Objectifs
The mathematics and computer science track aims at providing motivated students with a training in both disciplines that allows them to enroll in a second year of Master either in mathematics or in computer science (or in one of the rare bi-disciplinary Masters). Avoiding an artificial combination of themes, it emphasises the interfaces between the disciplines and covers themes that complement each other: Number theory, Algebra, Cryptology, Logic, Foundations of Mathematics and Computer Science, etc.
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 Sujets avancés en calcul quantique et Informations
- CSC_52003_EP Diagrammes et programmes quantiques
- CSC_52070_EP Vérification logique des systèmes hybrides
- CSC_52071_EP Fondements de la vérification des logiciels
- MI P3 Mathématiques et Informatique
- CSC_52991_EP Stage de recherche en science informatique
- FMA_52991_EP Stage - Groupes et représentations, Théorie des nombres, géométrie algébrique
- FMA_52992_EP Stage - Analyse, Probabilités et applications
- FMA_52993_EP Stage - Géométrie et systèmes dynamiques