Module « Algorithmique 1 : méthodologie de la programmation impérative »

Volume horaire

  • 18 heures de cours magistral.
  • 18 heures de travaux dirigés.
  • 18 heures de travaux pratiques.

Description du module

Pré-requis : Bases de la programmation impérative.

  • Logique de Hoare : assertion, invariant et preuve de programme.
  • Notion de complexité.
  • Algorithmes numériques, algorithmes de recherche, algorithmes de tri.
  • Enregistrements, fichiers.