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 disponibles en format PDF (comme présentés en cours) et PS (4 transparents sur une page, pour impression)

• Partie I (Notions de base, Sémantique, WP-calcul) PDF PS
• Partie II (Typage, Introduction à B) PDF PS

Pour en savoir plus...

Informations sur B

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