Mathématique pour l'informatiques : avec éxercices corrigés [texte imprimé] /
André Arnold, Auteur . -
Paris : Masson, 1997 . - 399p ; 24x16 cm.
ISBN : 978-2-225-82919-2
Langues : Français (
fre)
Langues originales : Français (
fre)
Mots-clés : |
mathématique,informatique |
Index. décimale : |
004 Traitement de données. 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. |
En ligne : |
www.dunod.com |