Concepts fondamentaux de l'informatique [ Livre] / Alfred Vaino, Aho / Jeffrey David, Ullman
Langue: 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 | AlgorithmesCurrent 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