Cours complet couvrant tout le processus allant de la
spécification abstraite d'un problème jusqu'à sa
programmation concrète en proposant des méthodes et outils
réalistes et éprouvés. Il aborde ainsi la spécification des
données et opérations fondées sur les techniques
algébriques, et fournit des méthodes
d'analyse-programmation rigoureuse conduisant à des
algorithmes sûrs et bien documentés. Leur transcription en
langage C est expliquée. Il étudie en outre les structures
de données de base pour ranger, rechercher, trier des
données et gérer un espace-mémoire (piles, listes, graphes,
arbres, tables), ainsi que les algorithmes correspondants.
De nombreux exercices, problèmes et projets complètent la
présentation.
Sommaire :
Spécification et programmation. Construction de
programmes. Spécifications algébriques 1. Le cas
équationnel pur. Spécifications algébriques 2. Le cas
général. Implantation et programmation. Spécifications
étendues. Piles, files et listes linéaires. Suppression de
la
récursivité. Complexité et optimalité.
Structures et
algorithmes. Tables. Graphes 1. Spécification et
implantation. Graphes 2. Algorithmes classiques. Arbres et
forêts 1. Spécification et implantation. Arbres et forêts
2. Algorithmes et variétés d'arbres. Tris internes.
Fichiers. Tris externes.