La collection Synthex permet de s'initier progressivement à une discipline ou d'en réviser les principaux concepts. Chaque chapitre délivre une synthèse pédagogique rigoureuse des techniques et des fondements théoriques, suivie d'une sélection d'exercices avec leurs corrigés détaillés.
Les méthodes formelles utilisées en informatique s'appuient essentiellement sur des concepts mathématiques : théorie des ensembles, logique, combinatoire, théorie des graphes. Ce livre est un rappel, clair et concis, des principales notions mathématiques utiles aux étudiants de première année de cursus informatique.
En neuf chapitres, l'ouvrage livre ainsi un rappel des notions indispensables en logique et en algorithmique : théorie des ensembles, fonctions, combinatoire, théorie des graphes et algèbre booléenne.