Lecture 1: Introduction to the course