Partie Algorithmique et test : acquisition des bases en algorithmique permettant d'élaborer un schéma de résolution pour un problème donné
-
Représentation des données (modèles formels de données, Types Abstraits de Données, implantation via structures de données associées), spécifications d'algorithmes adaptés.
-
Evaluation de la qualité des programmes produits (complexité, éléments de preuve de programme), test et validation d’une application simple (objectifs et méthodes de test, test unitaire, analyse et interprétation des résultats des tests, arrêt du test).
Partie Graphes :
- Introduction aux notions de Relations et Graphes (applications, terminologie et représentation).
- Résolution de problèmes de cheminement et connexité (chemins euleriens, hamiltoniens, postier chinois, composantes connexes),
- algorithmes de plus court chemin (Dijkstra, Floyd, Ford-Bellman, A*),
- modélisation et résolution de problèmes classiques d'optimisation (recouvrement, flots, coloration, ordonnancement).
- Teacher: Marwa Ben Salah
- Teacher: Olivier Corrio
- Teacher: Laurent Lemarchand
- Teacher: Valerie Anne Nicolas