Descriptif
Responsables mobilité internationale : Petr Kuznetsov, Jean Leneutre
Coordination des stages : Bertrand Meyer
Cette filière s'adresse aux étudiants cherchant une formation approfondie à l'interface entre informatique et mathématiques ou aux étudiants inscrits dans d'autres filières voulant asseoir leur formation par des compléments théoriques.
(Elle est particulièrement recommandée à ceux qui désirent poursuivre en doctorat en informatique).
La filière forme de futurs ingénieurs qui souhaitent être suffisamment outillés pour analyser et résoudre des problèmes mathématiques et algorithmiques difficiles par des approches variées (Cours d'optimisation combinatoire MITRO205, d'algorithmique avancée MITRO208, de théorie des jeux MITRO206 et de programmation pratique MITRO213), en comprendre les limites (Cours de complexité MITRO203) et pour maitriser les tenants et aboutissants des outils liés à la programmation et de leurs langages (Cours de logique MITRO211, cours de vérification MITRO2012, de calcul réparti MITRO207).
En savoir plus...
2e ANNEE
La filière est composée de 8 UE de 24 heures chacune
| P1 | P2 | P3 | P4 | |
|
B1 |
CSC_4MI13_TP Perles de programmation de structures de données &algorithmes |
CSC_4MI07_TP Calcul réparti par topologie combinatoire |
CSC_4MI05_TP Optimisation combinatoire & analyse combinatoire |
CSC_4MI12_TP Vérification formelle |
|
B2 |
CSC_4MI03_TP Complexité |
CSC_4MI08_TP Algorithmique avancée |
CSC_4MI11_TP Logique & théorie de la preuve |
CSC_4MI06_TP Théories des jeux
|
En outre, les élèves suivront au créneau D du mardi
- FMA_0EL01_TP (MDI 210) Optimisation : obligatoire en P1
- Le module CSC_0EL12_TP (INF280)« Projet de Programmation : problèmes pratiques et concours » est très fortement conseillé.
3e ANNEE
La troisième année de la filière se fait :
| Option interne |
soit dans l'option interne à l'école, composée de 120 heures de cours et d'un projet PRIM de 120 heures :
|
| Master M2 |
soit dans l'un de ces 2 Masters à l'Université Paris-Saclay, mention Informatique :
|
| Formation à l’étranger |
soit dans des formations équivalentes à l'étranger (contacter le responsable mobilité internationale) |
| Autre |
Vous pouvez aussi choisir, après la 2e année, de suivre en 3eA :
|
Quelle que soit l'option choisie, les élèves feront un stage de 6 mois.
Diplômes concernés
Compétences
Compétence n°1 : analyser et résoudre des problèmes mathématiques et algorithmiques difficiles
- 1.1 Identifier et spécifier un problème et les aspects qui le constituent (Maîtrise)
- 1.2 Choisir les outils et construire un cadre d’étude et de résolution théorique (savoir-faire, Maîtrise)
- 1.3 Implémenter des solutions compétitives et exécuter des simulations (initiation)
Compétence n°2 : contrôler avec critique une résolution par des approches formelles ou mathématiques
- 2.1 Mobiliser des résultats d’impossibilité ou de difficultés pour analyser la faisabilité d’une résolution (savoir-faire)
- 2.2 justifier, contrôler et garantir le bon fonctionnement d’un système ou d’un mécanisme de résolution (Maîtrise)
- 2.3 garantir l’optimalité d’une résolution (savoir-faire)
Pré-requis
MDI 210 Optimisation obligatoire en P1. Le module « Projet de Programmation : problèmes pratiques et concours » (INF280) est très fortement conseillé.Modalités d'acquisition
La filière est validée si la moyenne des notes finales est ≥ 10 et si vous obtenez au minimum 15 crédits ECTS.
Composition du parcours
-
CSC_4MI03_TP CSC_4MI05_TP CSC_4MI06_TP CSC_4MI07_TP CSC_4MI08_TP CSC_4MI11_TP CSC_4MI12_TP CSC_4MI13_TP