Luento 1 (29.5.06)

Aiheena: kurssin yleiset asiat sekä logiikka