Vermittlung grundlegender Formalismen und Definitionsmethoden zur semantischen Beschreibung und Charakterisierung von Programmiersprachen und programmiersprachlichen Konstrukten. Erarbeitung methodischer Kriterien fuer die Analyse und den Korrektheitsnachweis eines Programmes in Bezug auf die Semantik der jeweiligen Programmiersprache.

Grundlegende semantische Beschreibungsmethoden und Definitionsformalismen: Operationale, denotationale und axiomatische Semantik imperativer Programmierkonstrukte; Bezüge zur Programmverifikation; Einführung in den Lambda-Calculus; induktive und rekursive Definitionen; Fixpunkt-Operatoren und -Konstruktion; Vertiefung ausgewählter Themen wie Nichtdeterminismus und Nebenläufigkeit.

ECTS Breakdown: ECTS 4.5 = 112 Std.

Vorlesungsteil: 8 Einheiten zu je 5 Stunden: 40 Std.

Ausarbeitung und Präsentation der Übungsblätter: 50 Std.

Prüfung inkl. Vorbereitungszeit: 22 Std.

Lehrveranstaltungsaufbau:

Die Lehrveranstaltung besteht aus 8 Vorlesungseinheiten und 4 Übungsteilen.

Nach je 2 Vorlesungseinheiten muss ein Übungsblatt ausgearbeitet werden.

Die Ausarbeitung der Übungsblätter muss zu mindestens 40% richtig sein, um zur Prüfung zugelassen zu werden.

Die Studierenden müssen sich sowohl zu einer Gruppe als auch zur LVA anmelden!