Skript zur Vorlesung - Universität Paderborn

Vorwort
Dieses Skript ist im Rahmen der gleichnamige Vorlesung entstanden, die
ich im WS 2003/04 an der Universität Paderborn gehalten habe. Ähnliche
Vorlesungen – allerdings mit etwas anderen Schwerpunkten – habe ich bereits
früher an verschiedenen Universitäten gehalten. Eine der Grundlagen dieser
früheren Vorlesungen war das Buch von Glynn Winskel [11]. Die Vorlesung im
WS 2003/04 habe ich zwar vollkommen neu überarbeitet und teilweise auch
anders aufgebaut. Aber ihr Ursprung im Buch von Glynn Winskel [11] ist
noch deutlich sichtbar. Darüber hinaus habe ich natürlich anderes Material
benutzt, von dem ich besonders das Buch von Eike Best [2] hervorheben
möchte.
Dieser Text ist allerdings noch weit davon entfernt, ein vollständiges Buch
zum Thema ” Semantik“ zu sein. Es ist an vielen Stellen noch unvollständig
und enthält wahrscheinlich noch eine Menge Fehler. Viele interessante Bemerkungen
und Querbezüge zu anderen Bereichen der Informatik (z. B. der
Logik, der Programmverifikation, der Algebraischen Spezifikation) sind nur
durch kurze Randbemerkungen angedeutet. Als Begleitmaterial zur Vorlesung
ist es aber sicher schon recht hilfreich. Im Rahmen zukünftiger Vorlesungen
werde ich dieses Skript weiter überarbeiten und langsam vervollständigen
und Fehler beseitigen. Übungsaufgaben zu der Vorlesung und teilweise auch
Musterlösungen sind über das WWW verfügbar.
Auch wenn dieses Skript sicher noch fehlerhaft ist, so enthält es schon deutlich
weniger Fehler als im ersten Entwurf. Dies habe ich den Studierenden aus
der Vorlesung zu verdanken, die mich auf Fehler hingewiesen haben. Auch
Florian Klein hat sich eine Vorversion dieses Skriptes angesehen und mich auf
diverse Fehler hingewiesen. Dafür möchte ich mich an dieser Stelle bedanken.
Paderborn, im Februar 2004,
Ekkart Kindler
iii