v2.11.0 (5679)

Filières de 2e année - MITRO : Filière Mathématique, Informatique théorique et Recherche opérationnelle (créneau B)

Domaine > Mathématiques, Informatique.

Descriptif

Responsable filière : Bertrand Meyer
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
(MITRO 213)

Perles de programmation de structures de données &algorithmes

CSC_4MI07_TP
(MITRO 207)

 Calcul réparti par topologie combinatoire

CSC_4MI05_TP
(MITRO 205)

Optimisation combinatoire & analyse combinatoire

CSC_4MI12_TP
(MITRO 212)

Vérification formelle

B2

CSC_4MI03_TP
(MITRO 203)

Complexité

CSC_4MI08_TP
(MITRO 208)

Algorithmique avancée

CSC_4MI11_TP
(MITRO 211)

Logique & théorie de la preuve

CSC_4MI06_TP
(MITRO 206)

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 :

  • Option interne QEng "Quantum Engineering"
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  :

  • un cursus transverse, c'est à dire ouvert quelle que soit la filière choisie en 2e année : Option interne Quantum Engineering,  ou un des M2 transverses du domaine SES (PIC / IREN / COSI)
  • une mobilité en France dans une école de l'Institut Mines-Télécom ou de ParisTech.

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

Unités d'enseignement

UE Type d'enseignement Domaines Catégorie d'UE Volume horaire Responsables Site pédagogique
CSC_4MI03_TP Complexité Enseignement scientifique & technique Mathématiques UE du créneau B. 24 Olivier HUDRY
CSC_4MI05_TP Optimisation combinatoire et analyse combinatoire Enseignement scientifique & technique Mathématiques UE du créneau B. 24 Olivier HUDRY
CSC_4MI06_TP Théories des jeux Enseignement scientifique & technique Mathématiques UE du créneau B. 24 David MADORE
CSC_4MI07_TP Calcul réparti par topologie combinatoire Enseignement scientifique & technique Mathématiques UE du créneau B. 24 Petr KUZNETSOV
CSC_4MI08_TP Algorithmique avancée Enseignement scientifique & technique Mathématiques UE du créneau B. 24 Bertrand MEYER
CSC_4MI11_TP Logique et théorie de la preuve Enseignement scientifique & technique Mathématiques UE du créneau B. 24 Jean LENEUTRE
CSC_4MI12_TP Vérification formelle (Mitro) Enseignement scientifique & technique Mathématiques, Informatique UE du créneau B. 24 Vadim MALVONE
CSC_4MI13_TP Perles de programmation de structures de données et algor... Enseignement scientifique & technique Mathématiques UE du créneau B. 24 Louis JACHIET,
Bertrand MEYER
Veuillez patienter