Ce cours a pour objectif d'apprendre à concevoir un algorithme de manière systématique et scientifique. Il illustre la démarche d'analyse, de formalisation, de conception et d'implantation d'algorithmes répondant à des spécifications exprimées sous différentes formes.
La notion de test de programme est abordée informellement afin de sensibiliser à la nécessité de vérifier le bon fonctionnement d'un programme sur des cas choisis de manière réfléchie.
Une attention particulière est mise sur la structuration des algorithmes puis des programmes afin de garantir maintenabilité, réutilisabilité mais également une complexité maîtrisée.
Une introduction à la complexité est proposée afin de poser le cadre permettant de parler de l'efficacité d'un algorithme.
Une séance est consacrée aux paradigmes de programmations dynamique et gloutonne. Ces formes d'algorithmes sont souvent présentées comme méthodes générales de conception d'algorithmes répondant à des problèmes dont la complexité est généralement très élevée.
- Enseignant: Adam-oumar ABDEL-RAHMAN
- Enseignant: Frédérika AUGÉ-ROCHEREAU
- Enseignant: Damien BOUCHABOU
- Enseignant: Tatyana GRARD
- Enseignant: Bastien HUBERT
- Enseignant: Dimitri KOKKONIS
- Enseignant: Chuan LI
- Enseignant: Vincent NIMIER
- Enseignant: Marine SAINT-MÉZARD
- Enseignant: Amin SOULEIMAN DABAR
- Enseignant: Arthur TRAN-VAN
- Enseignant: Clément YVER
- Enseignant responsable de l'UE: François PESSAUX