UE Algorithmique et programmation impérative

Apprendre à programmer juste du "premier coup."
Apprendre à spécifier un algorithme.
Apprendre à prouver qu'un algorithme "marche"
Connaître et savoir manipuler les structures de données classiques en programmation.
Connaître et mettre en œuvre les principes de la programmation objet en Java.

* Savoir appliquer une démarche de résolution des problèmes par abstractions successives et par ré-utilisation de schémas types.
* Connaître des concepts et techniques d'analyse des propriétés des algorithmes.
* Connaître et savoir mettre en œuvre des techniques de représentation des ensembles et des séquences.
* Avoir des notions de preuve de programme.
* Connaître et savoir mettre en œuvre des structures de données classiques en programmation.
Programme résumé (connaître et savoir manipuler) :
* 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 Java : programmation objet, Interfaces, Héritage, compilation séparée.