Cet ouvrage, destiné aux étudiants en Licence et Master d'informatique ou de mathématiques ainsi qu'aux élèves ingénieurs, présente quelques éléments de mathématiques discrètes (ensembles, relations, fonctions, automates, logique). Chaque notion est illustrée sur de nombreux exemples, exercices corrigés et programmes informatiques écrits avec les langages Python et OCaml (plus de 150 exemples accompagnés de 144 exercices et 250 programmes sont fournis).