Méthodes Mathématiques Pour L'informatique - Jacques Vélu

. .

Résumé :
Nouvelle édition entièrement récrite et augmentée, ce manuel aborde en profondeur tous les thèmes qui constituent la base élémentaire de connaissances mathématiques indispensable à 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. Dans chaque chapitre, des problèmes nombreux sont posés et des méthodes pratiques énoncées qui permettent de les résoudre mécaniquement. Des exercices, nombreux et souvent distrayants, éclairent des démonstrations qui vont directement à l'essentiel. Méthodes mathématiques pour l'informatique est un outil pédagogique très complet et intéressera tous les étudiants du premier cycle.

Biographie:
Mathématicien de formation, Jacques Vélu est actuellement professeur titulaire d'une chaire au Conservatoire National des Arts et Métiers à Paris. Il est également auteur de plusieurs ouvrages en mathématiques et a traduit des livres de vulgarisation scientifique.

Sommaire:

• La notion d'ensemble
• Constructions d'ensembles
• Cardinal d'un ensemble
• Analyse combinatoire
• Relations
• Ensembles ordonnés
• Calcul booléen
• Parties d'un ensemble
• Probabilités combinatoires
• Fonctions booléennes
• Synthèse des fonctions booléennes
• Simplification des formules
• Calcul propositionnel
• Récurrences, calcul des prédicats
• Arithmétique
• Congruences
• Codes détecteurs et codes correcteurs
• Codages linéaires
• Graphes
• Arbres enracinés
• Automates finis
• Constructions d'automates
• Systèmes de numération
• Rudiments d'algèbre linéaire
• Calcul matriciel