Cet ouvrage est l'indispensable "bible" des étudiants et des professionnels en informatique. Il présente, en effet, tous les éléments-clés de la discipline ainsi que les outils théoriques nécessaires à la pratique quotidienne et c'est à ce titre qu'il peut être 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 discrè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 Etats-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.

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égulières ;

- Description récursive des motifs ;

- Logique propositionnelle et logique des prédicats ;

- Logique au service de la conception des composants d'ordinateur.