CONCEPTS FONDAMENTAUX DE L'INFORMATIQUE

AHO

Cet ouvrage est l'indispensable "bible" des étudiants et des profes-
sionnels en informatique. Il présente, en effet, tous les éléments-clés de la dis-
cipline ainsi que les outils théoriques nécessaires à la pratique quotidienne et
c'est à ce titre qu'il peut etre considéré comme l'ouvrage de référence qui
n'existait pas encore.

Pour la première fois, les auteurs, Alfred A. Aho et Jeffrey D. Ullman, bien
connus des milieux universitaires européens, intègrent les mathématiques dis-
crètes et les modèles, les concepts et les techniques de l'informatique. Ils
démontrent ainsi comment transformer des abstractions mathématiques en
programmes opérationnels.

Ecrits en Pascal, tous les exemples sont étudiés en profondeur, complétés par
des preuves mathématiques et illustrés par de nombreux exercices dont le
niveau de difficulté est progressif.

Best-seller aux États-Unis, nul doute que ce livre marque un développement
remarquable de l'enseignement des principes de la science informatique et
deviendra l'indispensable ouvrage de base de votre bibliothèque personnelle
de science informatique.

Le contenu: Mécanisation de l'abstraction - Itération, récurrence et récursivité
- Temps d'exécution des programmes - Modèles de données : arbre, liste,
ensemble, modèle relationnel et graphe - Motifs, automates et expressions régu-
lières - Description récursive des motifs - Logique propositionnelle et logique des
predicats - Logique au service de la conception des composants d'ordinateur.

Les auteurs : Alfred A. Aho est professeur à l'Université de Columbia. Jeffrey
D. Ullman est professeur à l'Université de Stanford. Ils ont déjà écrit deux
ouvrages de renommée mondiale, Compilateurs, principes, techniques et outils
et Structures de données et algorithmes.

dunod - page 1
dunod - page 2
dunod - page 3
dunod - page 4
dunod - page 5
dunod - page 6
dunod - page 7
dunod - page 8
dunod - page 9
dunod - page 10
dunod - page 11
dunod - page 12
Librairie spécialisée en ouvrages scientifiques et techniques