📘 Cours d’Algorithmique 4

Bienvenue !
Ce dépôt contient le support de cours pour l’UE Algorithmique 4, une unité essentielle pour approfondir la rigueur algorithmique.
Il s’adresse aux étudiants en informatique ou à toute personne souhaitant développer une compréhension solide des fondements de la correction et de l’efficacité des algorithmes.


🎯 Objectifs

  • Comprendre et démontrer la correction d’un algorithme
  • Maîtriser les notions de finitude, variant de boucle, et invariant
  • Évaluer et comparer la complexité algorithmique (temps et espace)
  • Acquérir une méthode rigoureuse d’analyse formelle d’algorithmes

📚 Le cours


👨‍🎓 Pour qui ?

Ce cours est destiné :

  • Aux étudiants en informatique ou en mathématiques appliquées
  • À ceux préparant des examens ou concours informatiques (BUT, licence, école d’ingénieur, etc.)
  • À toute personne souhaitant maîtriser la logique et la structure des algorithmes complexes