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.

Contenu : Calcul ensembliste, fonctions. Ensembles ordonnés.

Récursion et induction. Algèbres de Boole. Logique. Algèbre

combinatoire. 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.