v2.11.0 (5553)

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

MITRO 213

Perles de programmation de structures de données &algorithmes

MITRO 207

 Calcul réparti par topologie combinatoire

MITRO 205

Optimisation combinatoire & analyse combinatoire

MITRO 212

Vérification formelle

B2

MITRO 203

Complexité

MITRO 208

Algorithmique avancée

MITRO 211

Logique & théorie de la preuve

MITRO 206

Théories des jeux

 

 

En outre, les élèves suivront au créneau D du mardi
- MDI  210 Optimisation :  obligatoire en P1
- Le module « Projet de Programmation : problèmes pratiques et concours » (INF280) 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

    MITRO203 MITRO205 MITRO206 MITRO207 MITRO208 MITRO211 MITRO212 MITRO213

Unités d'enseignement

UE Type d'enseignement Domaines Catégorie d'UE Volume horaire Responsables Site pédagogique
MITRO203 Complexité Enseignement scientifique & technique Mathématiques UE du créneau B. 24 Olivier HUDRY
MITRO205 Optimisation combinatoire et analyse combinatoire Enseignement scientifique & technique Mathématiques UE du créneau B. 24 Olivier HUDRY
MITRO206 Théories des jeux Enseignement scientifique & technique Mathématiques UE du créneau B. 24 David MADORE
MITRO207 Calcul réparti par topologie combinatoire Enseignement scientifique & technique Mathématiques UE du créneau B. 24 Petr KUZNETSOV
MITRO208 Algorithmique avancée Enseignement scientifique & technique Mathématiques UE du créneau B. 24 Bertrand MEYER
MITRO211 Logique et théorie de la preuve Enseignement scientifique & technique Mathématiques UE du créneau B. 24 Jean LENEUTRE
MITRO212 Vérification formelle (Mitro) Enseignement scientifique & technique Mathématiques, Informatique UE du créneau B. 24 Vadim MALVONE
MITRO213 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