Vendredi 19 mai 2017 - réunion parcours IMD

Présents : Pierre-Alain Reynier, Sylvain Sené, Victor Chepoi, Yann Vaxès,
Pierre Guillon, Lionel Vaux, David Kohel, Alexandra Bac, Isabel Demongodin,
Laurent Regnier

Acquis d'apprentissage : on discute et amende la proposition de PAR et LR pour
les acquis d'apprentissage du parcours. Il est noté qu'il est dommage mais
maintenant trop tard pour rectifier que les compétences du parcours soient
différentes dans les 2 mentions.

Au final on a les objectifs d'apprentissage suivants :

Maîtriser et utiliser les outils de mathématiques discrètes dédiés à la
modélisation et la résolution de problèmes en informatique

Classifier les différents domaines de la logique et connaître leurs
applications en informatique

Connaître différentes familles d'algorithmes, les structures discrètes
sous-jacentes, les classes de complexité associées et des exemples
d'applications

Connaître les modèles de calcul fondamentaux de l'informatique et leurs
problématiques, et choisir le plus approprié à l'étude d'un problème donné

Maîtriser les paradigmes de temps et d'espace pour les classes de complexité,
les systèmes complexes et les systèmes dynamiques

Rappel de l'architecture du M2 décidée à la réunion précédente (cf compte-rendu
de la réunion du 6 avril(1)). On ouvre la discussion sur les contenus des cours
de TC: 3 cours de 24hCM+16hTD. On commence par un rappel de l'existant, puis la
discussion porte sur les thèmes que l'on pourrait aborder en IMD:

En informatique :
- Complexité, algorithmique
- Logique, automates, aspects formels des langages, vérif
- Chaînes de Markov, modèles stochastiques (à discuter)

En maths
- Théorie algorithmique des nombres
- Théorie de la démonstration, lambda-calcul
- Logique, calculabilité (à discuter, déjà vu en M1 ?)
- Systèmes dynamiques, modèles de calcul

Pré-requis aux cours de TC : (éventuellement revus pendant la mise à niveau)
- les machines de Turing
- théorie des langages

(1) http://www.i2m.univ-amu.fr/perso/regnier/Master-18/2017-04-06-r%c3%a9union-M2-MI.txt