Les méthodes formelles utilisées en informatique s'appuient essentiellement

sur des concepts mathématiques, comme la théorie des ensembles, la

logique, les mathématiques combinatoires ou encore la théorie des graphes

(dont l'application à un réseau de communication permet d'introduire des

notions très complexes comme, par exemple, les répartitions de charge et

de trafic sur Internet).

En 9 chapitres, l'ouvrage fournit un rappel des notions indispensables en

logique et en algorithmique : théorie des ensembles, relations, fonctions,

combinatoire, théorie des graphes et algèbre de boole. Chaque notion est

illustrée d'un exemple concret, appliqué à l'informatique ou à l'électronique.

À la fin de chaque chapitre, des exercices aux corrigés détaillés permettent

au lecteur de tester sa compréhension des notions abordées.

Ce livre s'adresse aux étudiants de première année des filières informatiques.

Il se révèlera également très utile aux professionnels désireux de rafraîchir

leurs connaissances.