Lecture notes for the course