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.