Ce cours présente les outils mathématiques algébriques pour les informaticiens (logique, calcul booléen, relations, combinatoire, groupes, arithmétique, codage et automates).