éF École de FranceFormations CPF & écoles Trouver ma formation
Titre RNCP 100% CPF

Master 2 Mathématiques et applications - Parcours type : Informatique et Mathématiques discrètes (IMD)

UNIVERSITE D'AIX MARSEILLE

5 600 €à partir de
Durée variabledurée
1session active
Bouches-du-Rhônelieu

Objectifs de la formation

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…

Programme

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

Résultats attendus

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.

Les points forts

Poursuite d'études :
- recherche en mathématiques et en informatique théorique
- enseignement supérieur en mathématiques et en informatique théorique

La certification

MASTER Mathématiques et applications (fiche nationale)

RNCP 39416 RS -1 CertifInfo 117338

Organisme & lieu

Formations similaires