| Titre : | Mathématiques pour l'informatique : Avec exercices corrigés |
| Auteurs : | André. Arnold ; Irène. Guessarian, Auteur |
| Type de document : | texte imprimé |
| Mention d'édition : | 3e éd. |
| Editeur : | Issy-les-Moulineaux (Hauts-de-Seine) : Masson, 2001 |
| Collection : | Enseignement de l'informatique |
| ISBN/ISSN/EAN : | 978-2-225-82919-2 |
| Format : | 399 p. / ill., couv. ill. en coul / 24 cm.. |
| Note générale : | Index. |
| Langues: | Français |
| Index. décimale : | 004 (informatique en général) |
| Catégories : | |
| Mots-clés: | mathématiques ; informatique |
| Résumé : | La troisième édition de cet ouvrage est augmentée notamment des notions de base nécessaires à l'apprentissage de la programmation logique et des bases de données déductives et propose des exemples et des exercices inédits tirés de ce domaine. Elle intègre également dans ses applications la méthode des preuves de programmes par assertions de Hoare et son utilisation dans la résolution d'un problème. |
Exemplaires (3)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| Info.A/2385 | 004/888/1 | Livre | BU Centrale Batna 1 | Deuxième étage : Architecture, sciences et technologies | Disponible |
| Info.A/2386 | 004/888/2 | Livre | BU Centrale Batna 1 | Deuxième étage : Architecture, sciences et technologies | Disponible |
| Info.A/2387 | 004/888/3 | Livre | BU Centrale Batna 1 | Deuxième étage : Architecture, sciences et technologies | Disponible |
