UE Algorithmique et programmation impérative

Diplômes intégrant cet élément pédagogique :

Descriptif

Programme résumé :

  • Langage des actions : actions, états, assertions ; spécification, paramétrisation ; raisonnement sur les états.
  • Composition itérative : schémas d'analyse, description et utilisation d'invariants, dénombrement d'instructions.
  • Composition récursive : étapes d'analyse, formulation de spécifications, dénombrement d'appels récursifs.
  • Tableaux : accès direct, accès séquentiel, indirection ; schémas de traitement.
  • Ensembles, séquences, piles, files : algorithmes de base et représentation contiguë à l'aide de tableaux.
  • Chaînage : application à la représentation chaînée des séquences.
  • Programmation en ADA : liaison des noms et portée des définitions, paramétrisation ; compilation séparée ; tests.

Compétences visées

  • Démarche de résolution des problèmes par abstractions successives et par ré-utilisation de schémas types.
  • Concepts et techniques d'analyse des propriétés des algorithmes.
  • Techniques de représentation des ensembles et des séquences.
  • Programmation : structuration, paramétrisation, modularité ; documentation des programmes ; tests.

Informations complémentaires

Lieu(x) : Grenoble - Domaine universitaire, Valence - Briffaut
Langue(s) : Français