Lecture notes (in progress)