Ce cours présente plusieurs concepts de logique et de mathématiques discrètes liés aux problèmes d'optimisation, de programmation et de structures informatiques.