AccueilLicence généraleInformatiqueEnseignementsModélisation algorithmique

Licence InformatiqueUE Modélisation algorithmique

Contenu

Cette unité d'enseignement a pour objectif d'initier les étudiants à la modélisation de situations réelles sous la forme de problèmes algorithmiques connus. Les domaines d'applications abordés seront les suivants :

  • ordonnancement et planification
  • localisation, transport et mobilité
  • énergie
  • réseaux
  • bio-informatique

Les modèles que nous allons utilisés pour la formalisation des problèmes réels sont les problèmes de graphes (plus court chemin, arbre couvrant, coloration, couplage, flot, etc), les programmes linéaires et les formules propositionnelles. Les algorithmes et méthodes utilisés pour résoudre les problèmes issus de ces domaines d'applications seront les suivants :

  • algorithmes dédiés
  • programmation dynamique
  • heuristiques (algorithme glouton, recherche locale, …)
  • utilisation de solveurs (programmation linéaire, SAT, …)

Compétences visées

  • Utiliser les concepts fondamentaux de l'informatique (langages formels, logique, et graphes) pour la programmation et la modélisation.
  • Choisir, sur des critères objectifs, les structures de données et construire ou sélectionner les algorithmes les mieux adaptés à un problème donné.
  • Modéliser un problème concret sous la forme d'un problème algorithmique connu.
  • Mettre en œuvre la notion de probabilité pour l'algorithmique et la modélisation.
  • Faire preuve d'esprit critique vis-à-vis d'une solution technique pour en vérifier son efficacité, sa fiabilité et sa robustesse dans son contexte d'utilisation.
  • Rédiger des documents écrits en tenant compte des exigences contextuelles et des conventions sociales en la matière (manuel d’utilisation, documentation, rapport de projet).
  • Faire un exposé oral convaincant en utilisant les techniques modernes de communication.

Langue utilisée

Langue principale utilisée par cet enseignement : Français.

Pré-requis recommandés

  • Algorithmique 2
  • Logique

Modalités d'organisation

Une partie importante du travail personnel des étudiants dans le cadre de ce cours consistera à réaliser un projet consistant à modéliser et résoudre un problème d'optimisation issu de l'un des domaines d'applications étudiés.

Volume des enseignements

  • Cours magistraux : 5 heures
  • Travaux dirigés : 10 heures
  • Travaux pratiques : 15 heures

Les formations qui utilisent cet enseignement