Ce que vous saurez faire
Ce parcours Informatique et Mathématiques Discrètes (IMD) s'adresse aux étudiants titulaires d'un M1 d'informatique ou de mathématiques. Il 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…
Le déroulé, étape par étape
Tronc Commun
Algorithmique
Complexité
Automates
Logique
Options (tous les cours listés ci-dessous ne sont pas ouverts tous les ans. Chaque année une dizaine de ceux-ci est proposée au choix des étudiants, sur la page d'organisation de l'année. Selon les effectifs, environ 6 parmi ceux-ci sont finalement ouverts)
Mathématiques discrètes
Autour des mathématiques de Paul Erdös
Calcul et théorie de l'information quantique
Dynamique symbolique
Modèles de calcul naturel
Théorie de l'information, algorithmique, cryptographie et codage
Topologie algèbrique discrète
Algorithmique et combinatoire
Algorithmes pour l'optimisation
Algorithmique d'énumération
Algorithmique distribuée avancée
Ensembles ordonnés en combinatoire, géométrie, logique
Modèles et algorithmes de l'IA : des contraintes à l'incertain
Théorie métrique des graphes
Méthodes formelles
ASP : fondements théoriques, calculs et applications
Automates et jeux
Introduction aux logiques modales et applications
Réalisabilité classique
Sémantique dénotationnelle et logique catégorique
Modèles de calcul et systèmes dynamiques
Fondements mathématiques de la cryptographie
Algorithmique distribuée
À la fin de la formation
Sur le plan des connaissances le parcours offre un très large panorama des techniques formelles et sémantiques utilisées en informatique théorique. Les diplômés issus de ce parcours auront particulièrement développé leur capacité d'abstraction afin de modéliser des problèmes divers, leur maîtrise des méthodes algorithmiques pertinentes à appliquer, leur capacité à développer de nouvelles méthodes.
Selon l’organisme
Poursuite d'études :
- recherche en mathématiques et en informatique théorique
- enseignement supérieur en mathématiques et en informatique théorique
Où se déroule la formation
Payer avec votre Compte Personnel de Formation
Cette formation figure au catalogue Mon Compte Formation : elle est éligible au CPF. Vos droits, cumulés en euros, se consultent et s’utilisent sur le site officiel.
Vérifier mes droits sur moncompteformation.gouv.frOrganisme, certification, inscription
Texte rédigé par l’organisme de formation. Source : « Moncompteformation – L’offre de formation », Caisse des Dépôts et DGEFP, données ouvertes sous Licence Ouverte 2.0, mise à jour du 02/10/2026. WorkDispo n’est pas affilié à Mon Compte Formation.