Ich freue mich, daß Sie Interesse am Thema

Formale Semantik

haben. Eine Kurzzusammenfassung des Inhalts finden Sie in der Vorlesungsbeschreibung. Das hier zur Verfügung gestellte Skript ist aus studentischen Mitschriften von früher zum Thema gehaltenen Vorlesungen entstanden. Trotz sehr zeitaufwendiger und gründlicher Nachbearbeitung sind mit Sicherheit noch Tippfehler verschiedenster Art enthalten.
Deshalb bin ich für alle Hinweise darauf sehr dankbar.
Gleichfalls bitte ich um Vorschläge zu inhaltlichen Verbesserungen.
Zu beachten ist, daß es sich hierbei NICHT um ein Lehrbuch, sondern ein die Vorlesung begleitendes Skript handelt.
Deswegen kann das Herunterladen des Skripts mit Sicherheit den Besuch der entsprechenden Vorlesung nicht ersetzen.
Ich hoffe aber, daß das Nacharbeiten des Skripts nach Besuch der Vorlesung deren Verständnis wesentlich erhöhen kann.
Auf jeden Fall kann man so endlich die noch vorhandenen Druck- und anderen Fehler finden!

Das Skript liegt im PDF-Format vor.
Durch Anklicken des Buchsymbols können Sie es sich herunterladen.

Formale Semantik
Hartwig, Rolf