Licence 3 Informatique (Albi):
Algorithmes, types de données et preuves

Contenu

Les types abstraits de données, système d'axiomes, sous-types. Etude des structures séquentielles, ensembles, arborescences, graphes et applications à diverses classes de problèmes (recherche, tri, calculs arithmétiques).

Spécifications de programmes en B. Règles de preuve pour les instructions et les fonctions, les tableaux.

Spécification récursive d'algorithme et transformation en itératif.

Travaux pratiques: utilisation de l'atelier B

 

Enseignants

Cours:

• Yannick Chevalier
• Martin Strecker

Ressources

Cours: Transparents

• Format PDF (comme présentés en cours)
• Format PS (4 transparents sur une page, pour impression)

Pour en savoir plus...

Informations sur B

• Introduction à B
• Notations B
• Manuel de référence