|
| Titre : | Concepts fondamentaux de l'informatique | | Type de document : | texte imprime | | Auteurs : | Aho, Alfred Vaino, Auteur ; Ullman, Jeffrey David, Auteur ; Cazin, Xavier, Traducteur ; Gourhant, Ivon, Traducteur ; Le Narzul, Jean-Pierre, Traducteur | | Editeur : | Paris : Dunod | | Année de publication : | DL 1993 | | Collection : | Science Sup | | Importance : | (XVI-856 p.) | | Présentation : | ill., couv. ill. en coul. | | Format : | 24 cm | | ISBN/ISSN/EAN : | 978-2-10-003127-6 | | Note générale : | Trad. de : "Foundations of computer science". - Autres tirages : 1996, 1998, 2001, 2003. - La couv. porte en plus : "2e cycle universitaire, Ecoles d'ingénieurs"
Notes bibliogr. en fin de chapitres. Index | | Langues : | Français | | Mots-clés : | Automates mathématiques, Théorie des Informatique | | Index. décimale : | 004 | | 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. Écrits 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 : | 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 | | Permalink : | ./index.php?lvl=notice_display&id=13551 |
Concepts fondamentaux de l'informatique [texte imprime] / Aho, Alfred Vaino, Auteur ; Ullman, Jeffrey David, Auteur ; Cazin, Xavier, Traducteur ; Gourhant, Ivon, Traducteur ; Le Narzul, Jean-Pierre, Traducteur . - Paris : Dunod, DL 1993 . - (XVI-856 p.) : ill., couv. ill. en coul. ; 24 cm. - ( Science Sup) . ISBN : 978-2-10-003127-6 Trad. de : "Foundations of computer science". - Autres tirages : 1996, 1998, 2001, 2003. - La couv. porte en plus : "2e cycle universitaire, Ecoles d'ingénieurs"
Notes bibliogr. en fin de chapitres. Index Langues : Français | Mots-clés : | Automates mathématiques, Théorie des Informatique | | Index. décimale : | 004 | | 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. Écrits 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 : | 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 | | Permalink : | ./index.php?lvl=notice_display&id=13551 |
|  |
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externesConcepts fondamentaux de l'informatique / Aho, Alfred Vaino (DL 1993)
