Méthodes mathématiques pour l'informatique

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 tous 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 quatrième édition s'enrichit de problèmes corrigés posés en examens ces dernières années.

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.

Biographie des auteurs
Jacques Vélu - Professeur au CNAM, Paris

Étudiants au CNAM (et formation continue); Étudiants en Licence d'informatique.

Algorithmique, Algèbre, Informatique : mathématiques, Mathématiques discrètes