Tous les domaines de l’informatique font appel aux mathématiques. Destiné aux étudiants comme aux ingénieurs, cet ouvrage présente les relations, fonctions, structures ordonnées, définitions inductives, etc., permettant d’abstraire, de formaliser et de raisonner sur les objets de l’informatique comme les données, les programmes… Tous les concepts présentés sont illustrés par de nombreux exemples et des exercices corrigés. Enfin, une implantation avec les langages Python et OCaml est fournie. 250 programmes concrétisent comment exprimer un calcul à l’aide d’un langage de programmation.
Mathieu Jaume, Éditions Éllipses, 528 pages, 49 €