M2 - Informatique et Mathématiques Discrètes

Le parcours IMD vise à donner une formation de haut niveau fondée sur les interactions entre mathématiques et informatique, notamment dans les domaines de la logique, la calculabilité, la complexité, l'algorithmique, la combinatoire et la théorie des graphes, les méthodes formelles, la théorie des langages de programmation, la cryptographie… Au niveau M2, il s'adresse aux étudiants titulaires d'un M1 d'informatique ou de mathématiques.

Il offre de très nombreux débouchés, vers une poursuite d'étude en doctorat, les carrières de l'enseignement via sans doute une année supplémentaire de préparation agrégation (pour laquelle l'option D informatique sera particulièrement appropriée), les métiers de l'ingéniérie, notamment en génie logiciel, sécurité informatique, modélisation, …

Pour les infos spécifiques à une année, options, emploi du temps, etc., se reporter à la page adéquate :

Organisation de l'année

  • 2 semaines : rappels intensifs en mathématiques et en informatique
  • 8 semaines : 3 cours fondamentaux (6ECTS):
  • 8 semaines: 5 cours spécialisés (3ECTS) à choisir parmi une liste adaptée chaque année de 12 cours répartis en trois grandes thématiques (certains de ces cours seront proposés en anglais) :
    • Mathématiques discrètes
    • Algorithmique et combinatoire
    • Méthodes formelles
  • Séminaire (en anglais) :
    • Présentations de thématiques scientifiques par des chercheurs du LIS et de l'I2M
    • Présentations (tutorées) d'articles par les étudiants du M2
  • Fin des cours à la fin février ; suivis de 4 mois de stage recherche en laboratoire.

En plus des ces cours les étudiants sont invités à participer tout au long de l'année à un séminaire où leur sera présenté les différentes thématiques de recherche en maths-info présentes à Marseille et où il leur sera demandé d'exposer, en anglais, certains approfondissements de leurs cours.

Préparer l'année IMD

L'année d'IMD est assez intensive et couvre de multiples domaines des mathématiques discrètes et de l'informatique théorique. Voici quelques lectures qui aideront à préparer la rentrée, voire soutiendront pendant l'année.

  • Logique, calculalibité, langages
    • Logicomix. Alecos Papadatos, Annie Di Donna, Apostolos Doxiadis, Christos Papadimitriou, Pierre-Emmanuel Dauzat (Traduction). Vuibert, 2010.  Roman en BD sur la logique du XXème siècle à travers la vie de Bertrand Russel.
    • La déesse des petites victoires. Y. Grannec. Éditions Anne Carrière, 2012. Roman biographique sur la vie de l'épouse de Kurt Gödel
    • Mathématiques de l'informatique. Patrick Dehornoy. Dunod, 2000.
    • Langages formels, calculabilité et complexité. Olivier Carton. Vuibert, 2008. (disponible en ligne)
    • Introduction to the Theory of Computation. M. Sipser. Course technology, 2005
  • Algorithmique
    • Algorithms. J. Erickson. 2019 (disponible en ligne)
    • Approximation Algorithms. V. Vazirani. Springer, 2003
    • Computational Geometry. M. de Berg, M. Kreveld, M. Overmars, O. Schwarzkopf. Springer, 2008
    • Algorithm Design. J. Kleinberg et E. Tardos. Pearson, 2005
    • Complexité algorithmique. Sylvain Périfel. Ellipses, 2014 (disponible en ligne)
  • Mathématiques discrètes, systèmes dynamiques, théorie des nombres
    • Les systèmes dynamiques discrets. François Robert. Springer, 1995
    • Cours d'algèbre. M. Demazure. Cassini, 2009
    • Topological and symbolics dynamics. Petr Kůrka. SMF 2003