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