This is three introductory lectures on the theory of constraint programming. It is part of the course problem solving in the Master in Computer Science at the University of Luxembourg with Pr. Grégoire Danoy and Dr. Gwen Maudet.
This part of the course is self-contained, only basic knowledge of set theory and logic is necessary. The lectures are intertwined with exercises, all the definitions are given before the exercises.