This course is intended for advanced undergraduate or Ph.D. students. It is an introduction to constraint satisfaction problems that can be modelled by an infinite template. The aim is to get the student acquainted with the mathematical tools needed to study such problems: this includes some universal algebra, basic model theory, and Ramsey theory. At the end of the course, the students will be able to commence research in the field.
Constraint Satisfaction, Homogeneous structures, Ramsey classes, Birkhoff's theorem
18 h attendance of lecture (12 days x 1.5h)32 h four exercise sheets (4 sheets x 8 exercises x 1h)24 h preparation for oral exam (3 days x 8h)) 1 h oral exam-----------------------------------------------75 h = 3 Ects
Exercises and oral exam