Titre : | Concepts fondamentaux de l'informatique | Type de document : | Livres, articles, périodiques | Auteurs : | Alfred V. Aho ; Jeffrey D. Ullman | Editeur : | Paris : Dunod | Année de publication : | 1998 | Importance : | xvi, 856 p. | Présentation : | ill. | Format : | 24 cm | ISBN/ISSN/EAN : | 978-2-10-003127-6 | Note générale : | Traduction de: Foundations of computer science. "2e cycle universitaire - Écoles d'ingénieurs" | Langues : | Français (fre) | Mots-clés : | Informatique -- Généralités | Index. décimale : | 004 Informatique | Résumé : | 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 l'indispensable ouvrage de base de votre bibliothèque personnelle. | Note de contenu : | Table des matières
1. L'informatique, la mécanisation de l'abstraction
2. Itération, récurrence et récursivité
3. Le temps d'exécution des programmes
4. Modèles de données d'un ordinateur
5. Le modèle de données arbre
6. Le modèle de données liste
7. Le modèle de données ensemble
8. Le modèle de données relationnel
9. Le modèle de données graphe
10. Motifs, automates et expressions régulières
11. Description récursive de motifs
12. La logique propositionnelle
13. La logique au service de la conception des composants d'ordinateur
14. La logique des prédicats |
Concepts fondamentaux de l'informatique [Livres, articles, périodiques] / Alfred V. Aho ; Jeffrey D. Ullman . - Paris : Dunod, 1998 . - xvi, 856 p. : ill. ; 24 cm. ISBN : 978-2-10-003127-6 Traduction de: Foundations of computer science. "2e cycle universitaire - Écoles d'ingénieurs" Langues : Français ( fre) Mots-clés : | Informatique -- Généralités | Index. décimale : | 004 Informatique | Résumé : | 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 l'indispensable ouvrage de base de votre bibliothèque personnelle. | Note de contenu : | Table des matières
1. L'informatique, la mécanisation de l'abstraction
2. Itération, récurrence et récursivité
3. Le temps d'exécution des programmes
4. Modèles de données d'un ordinateur
5. Le modèle de données arbre
6. Le modèle de données liste
7. Le modèle de données ensemble
8. Le modèle de données relationnel
9. Le modèle de données graphe
10. Motifs, automates et expressions régulières
11. Description récursive de motifs
12. La logique propositionnelle
13. La logique au service de la conception des composants d'ordinateur
14. La logique des prédicats |
| |