Introduction à l'informatique théorique
Les cours de l'Ecole Supérieure d'Electricité - Supélec - n°11
Bourda - Collection Direction des études et recherches d'Electricité de France (EDF)
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.
Caractéristiques techniques
PAPIER | |
Éditeur(s) | Eyrolles, EDF |
Auteur(s) | Bourda |
Collection | Direction des études et recherches d'Electricité de France (EDF) |
Parution | 06/05/1993 |
Nb. de pages | 236 |
Format | 15,5 x 24 |
Couverture | Broché |
Poids | 375g |
Intérieur | Noir et Blanc |
EAN13 | 9782212016420 |
ISBN13 | 978-2-212-01642-0 |
Avantages Eyrolles.com
Nos clients ont également acheté
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
- Informatique Développement d'applications Techniques de programmation Programmation fonctionnelle
- Informatique Développement d'applications Techniques de programmation Programmation parallèle et multithreading
- Informatique Développement d'applications Algorithmique et informatique appliquée
- Informatique Développement d'applications Technologies objet Programmation objet