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