lect01.pdf