Les « mathématiques pour l'informatique » rassemblées dans cet ouvrage constituent l'essentiel des connaissances qu'il est indispensable d'acquérir, dans le cadre d'études supérieures en informatique, pour formaliser des concepts, modéliser des situations, manipuler des objets... Les notions de cours sont illustrées d'un grand nombre d'exemples et de plus de 300 exercices tous corrigés.

Sommaire

Calcul ensembliste. Fonctions. Ensembles ordonnés. Récursion et induction. Algèbre de Boole. Logique. Algèbre combinatoire et applications. Suites récurrentes. Séries génératrices. Comportements asymptotiques. Graphes et arbres. Langages rationnels et automates finis. Probabilités discrètes. Chaînes de Markov finies. Applications et exembles.

Biographie des auteurs
André Arnold - Professeur à l'université Bordeaux 1
Irène Guessarian - Professeur à l'université Paris 6

Publics

Étudiants en licence d'informatique; Formation continue.

Mots-clés

Algèbre, Logique, Logique combinatoire, Mathématiques, Informatique : mathématiques