The notes from the first lecture are now available on the page "Lecture notes".