Concepts fondamentaux de l'informatique [ Livre] / Alfred Vaino, Aho / Jeffrey David, Ullman

Auteur principal: Aho, Alfred VainoCo-auteur: Ullman, Jeffrey DavidLangue: Français ; de l'oeuvre originale, Français.Publication : Paris : Dunod, 1993Description : XVI-856 p. ; ill., couv. ill. en coul ; 24 cmISBN: 2100031279.Collection: Sciences sup, 2e cycle, écoles d'ingénieursClassification: F Informatique théoriqueRésumé: Titre original : Foundations of computer science / Alfred V. Aho, Jeffreys D. Ullman. - New York : Computer science press : W.H. Freeman, cop. 1992. Sommaire 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. Logique propositionnelle 13. La logique au service de la conception des composants d'ordinateur 14. Logique des prédicats.Sujet - Nom commun: Structures de données (informatique) | Logique | Informatique -- Manuels d'enseignement supérieur | Automates mathématiques, Théorie des | Algorithmes
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Informatique
F AHO (Browse shelf) Exclu du prêt F Informatique théorique 00000520
ENS Rennes - Bibliothèque
Informatique
F AHO (Browse shelf) Available F Informatique théorique 000005201
ENS Rennes - Bibliothèque
Informatique
F AHO (Browse shelf) Available F Informatique théorique 000005202

Notes bibliogr., ind

Titre original : Foundations of computer science / Alfred V. Aho, Jeffreys D. Ullman. - New York : Computer science press : W.H. Freeman, cop. 1992.
Sommaire
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. Logique propositionnelle
13. La logique au service de la conception des composants d'ordinateur
14. Logique des prédicats

Powered by Koha