Review your data
The course assumes familarity with basic functional programming and Standard ML as it is taught in our beginners course Programmierung 1. We recommend Moscow ML or Alice as Standard ML interpreter. Alice has a nice programming environment well-suited for novices.
There are lecture notes Gert Smolka has written for previous runs of this course. They are in German. The most recent version is from Summer 2004. Although we will present things somewhat differently this year, the notes from 2004 are highly recommended.
Biographies of important logicians are available at www-history.mcs.st-andrews.ac.uk.