26,99 €
OFFRE LISEUSES
Une liseuse achetée = une housse offerte* jusqu'au 21 juin
Eléments de mathématiques discrètes. Cours, exercices résolus, implémentations avec les langages Python et OCaml
Par :Formats :
Expédié sous 127 jours
Cet article sera commandé chez un fournisseur et vous sera envoyé 127 jours après la date de votre commande.
- Paiement en ligne :
- Livraison à domicile ou en point Mondial Relay estimée à partir du 14 octobreCet article sera commandé chez un fournisseur et vous sera envoyé 127 jours après la date de votre commande.
- Retrait Click and Collect en magasin gratuit
- Livraison à domicile ou en point Mondial Relay estimée à partir du 14 octobre
- Réservation en ligne avec paiement en magasin :
- Indisponible pour réserver et payer en magasin
- Nombre de pages514
- FormatGrand Format
- PrésentationBroché
- Poids0.973 kg
- Dimensions19,0 cm × 24,0 cm × 3,2 cm
- ISBN978-2-340-01480-0
- EAN9782340014800
- Date de parution08/12/2016
- CollectionRéférences sciences
- ÉditeurEllipses
- PréfacierGilles Dowek
- PréfacierThérèse Hardin
Résumé
Tous les domaines de la science informatique font appel de manière essentielle aux mathématiques discrètes. Cet ouvrage en présente quelques éléments : ensembles, relations, fonctions, structures ordonnées, définitions inductives, langages, automates, et logique. Il s'adresse aux étudiants de Licence et Master d'informatique, mais peut aussi être utilisé dans les cursus de mathématiques, de robotique ou encore dans les formations d'ingénieurs scientifiques, qui font tous appel à la plupart des notions exposées.
Les mathématiques discrètes permettent d'abstraire, de formaliser et de raisonner sur les objets de l'informatique (données, programmes, etc.) mais elles restent encore souvent perçues comme un exercice difficile. Aussi, pour faciliter l'apprentissage, les concepts sont tous exposés avec le même niveau de détail : chaque notion est illustrée sur de nombreux exemples (plus de 150 exemples sont fournis), fait l'objet de nombreux exercices corrigés (144 exercices sont fournis) et les étapes de raisonnement de chaque preuve sont explicitées dans les moindres détails.
Enfin, une implantation avec les langages Python et OCaml est fournie pour la plupart des concepts effectifs introduits. Il s'agit de montrer, au travers de 250 programmes, comment exprimer un calcul à l'aide d'un langage de programmation et de permettre une expérimentation de ces calculs afin d'en obtenir une compréhension profonde.
Les mathématiques discrètes permettent d'abstraire, de formaliser et de raisonner sur les objets de l'informatique (données, programmes, etc.) mais elles restent encore souvent perçues comme un exercice difficile. Aussi, pour faciliter l'apprentissage, les concepts sont tous exposés avec le même niveau de détail : chaque notion est illustrée sur de nombreux exemples (plus de 150 exemples sont fournis), fait l'objet de nombreux exercices corrigés (144 exercices sont fournis) et les étapes de raisonnement de chaque preuve sont explicitées dans les moindres détails.
Enfin, une implantation avec les langages Python et OCaml est fournie pour la plupart des concepts effectifs introduits. Il s'agit de montrer, au travers de 250 programmes, comment exprimer un calcul à l'aide d'un langage de programmation et de permettre une expérimentation de ces calculs afin d'en obtenir une compréhension profonde.
A propos de Mathieu Jaume