| Titre : | Introduction à l'informatique théorique |
| Auteurs : | Yolaine bourda, Auteur ; Nicolas Graner, Auteur ; Philippe Volle, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Paris : Eyrolles, 1994 |
| Collection : | Cours de l'Ecole supérieure d'électricité |
| ISBN/ISSN/EAN : | 978-2-212-01642-0 |
| Format : | 214 p. / 24 x 16 cm |
| Note générale : |
Bibliographie,index
|
| Langues: | Français |
| Index. décimale : | 004.1 |
| Catégories : | |
| Mots-clés: | théorie |
| Résumé : |
Cet ouvrage s'adresse aux ingénieurs et aux élèves des grandes écoles qui sont confrontés à l'informatique comme utilisateurs ou comme concepteurs. Les trois premiers chapitres sont centrés sur le modèle des machines de Turing et les méthodes utilisées pour analyser la complexité des algorithmes et celle des problèmes. Trois chapitres traitent de la sémantique des programmes. Après une introduction à l'algèbre et à la logique, un chapitre expose la description des données par les types abstraits algébriques et les diagnostics qu'il est possible d'obtenir par ces techniques. Le dernier chapitre présente le système classique de Hoare pour la vérification et la correction d'un programme par rapport à ses spécifications. |
| Note de contenu : |
1-Langages,automates et machines
2-Complexitè des algorithmes 3-Compexitè des problèmes 4-Outils mathèmatique 5-Spècification des donnèes 6-Correction des programmes |
Exemplaires (2)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| TEC014064 | INF04477 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
| TEC014202 | INF04615 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
