Méthodes mathématiques pour l'informatique - 5e édition
Présentation du livre
Ce manuel explique en profondeur tous les thèmes qui constituent le socle des connaissances mathématiques indispensables à tout informaticien. L'auteur y présente les concepts fondamentaux de la façon la plus intuitive possible avant de procéder à une mise en forme abstraite.
Des exercices nombreux et souvent distrayants éclairent des démonstrations qui vont directement à l'essentiel.
Cette cinquième édition s'enrichit de cinq nouveaux exercices et problèmes qui font tous l'objet d'une vidéo avec tableau animé et explication audio détaillée de la solution. Ces vidéos sont accessibles gratuitement en complément en ligne de ce livre sur dunod.com.
Sommaire de l'ouvrage
Les ensembles. Analyse combinatoire. Les relations. Calcul ensembliste. Probabilités discrètes. Calcul propositionnel. Calcul des prédicats. Récurrence et récursivité. Treillis. Algèbre de Boole. Fonctions booléennes. Simplification des formules. Loi de composition. Codes correcteurs d'erreurs. Automates finis. Eléments de la théorie des graphes.
Les + en ligne
Visionnez les 5 vidéos des exercices corrigés : http://goo.gl/Qx9Sg
- Exercice 4.19 sur les dénombrements
- Exercice 6.19 sur les ensembles ordonnés
- Exercice 11.16 sur les fonctions booléennes et la simplification des formules
- Exercice 16.18 sur les codes détecteurs et les codes correcteurs
- Exercice 20.17 sur les automates finis
