Parcours 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, 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, ...

A propos de la poursuite en doctorat : voir cette page.

Organisation de l'année 2020-2021

Rentrée le 14 septembre à 9h, rendez-vous à 8h55 sur le parvis devant la grande entrée du bâtiment TPR2 (arrêt de bus Luminy faculté)

 

Pour bien préparer une année intense consulter notre bibliographie.

Emploi du temps (au format ical) : tous les cours, y compris la réunion de rentrée ont lieu dans la salle 212 au 2ème étage de l'I2M (bâtiment TPR2). Le cours de complexité du mercredi matin a lieu sur le campus Saint-Charles (salle CH301).

Fin des cours à la fin février ; suivis de 4 mois de stage recherche en laboratoire.

Emploi du temps 2020/2021

Disponible sur l'ENT AMU.

 

Préparer l'année IMD

L'année d'IMD est assez intensive et couvrent 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