Slides

1. Lecture (17.10.2001)
2. Lecture (24.10.2001)
3. Lecture (31.10.2001)
4. Lecture (7.11.2001)
5. Lecture (14.11.2001)
6. Lecture (21.11.2001)
7. Lecture (28.11.2001)
8. (there is no own slide set for week 8) (5.12.2001)
9. Lecture (12.12.2001)
   (there is no own slide set for 19.12.2001)
10. Lecture (9.1.2002)
11. Lecture (16.1.2002)
12. Lecture (23.1.2002)
13. Lecture
    (on modeling (functional) programming semantics in HOL;
    the lecture was not actually held)
14. Lecture (30.1.2002)
15. Lecture (6.2.2002)
16. Lecture (13.2.2002)