Master-Modul MPM1: Formale Grundlagen der Informatik III (FGI-3): Teil 2: Semantik von Programmen (Wintersemester 15/16)

Veranstaltungs-Nr.:	64.301 (WiSe 2015/2016)
Titel:	Vorlesung FGI 3: Teil 2: Semantik von Programmen
Veranstalter:	Prof. Dr. Valk
Zeit / Ort:	2 st. Fr. 14:15-15:45 Uhr B-201, Beginn: 16.10.2015

Stellung im Studienplan:

Das Modul behandelt über den Bachelorstoff hinausgehende Konzeptionen der Logik und Semantik und legt somit die Grundlage für ein vertieftes Verständnis formaler Ansätze zur Spezifikation von Informatiksystemen, wie sie für ein wissenschaftliches Vorgehen in allen Vertiefungsgebieten des Masterstudiums benötigt werden. Die beiden Themenbereiche "Logik" und "Semantik von Programmen" werden durch zwei aufeinander abgestimmte Vorlesungen (diese Vorlesung und die Vorlesung "Logik" behandelt. Inhaltliche Schwerpunkte dieser Vorlesung des Moduls sind klassische Themen der formalen Semantik. Darüber hinaus gehört zu dem Modul ein integriertes Seminar, das ausgewählte theoretische Konzeptionen vertieft. Durch exemplarische Vertiefungen an Hand von Originalarbeiten werden die Masterstudierenden darin trainiert, klassische und aktuelle Arbeiten der theoretischen Informatik und der Logik zu lesen und mit Fragestellungen der Informatik der Systeme in Beziehung zu setzen.

Stell. im Studienplan: Hauptstudium, Master (3 LP); Modul MASTER_MP1

Diplomstudierende können diese Vorlesung zusammen mit der Vorlesung "Logik" als äquivalent zur Hauptstudiumsgrundlagenvorlesung "Logik und Semantik" (LOS) wählen.

Prüfungen:

Zur erfolgreichen Teilnahme des Moduls gehört die erfolgreiche Teilnahme an dem Seminar "FGI 3" (regelmäßige Teilnahme, Vortrag und Hausarbeit) . Die Modulprüfung findet als Modulabschlussprüfung in Form einer mündlichen Prüfung (über die Gesamtinhalte der Vorlesungsanteile und ggf. des Seminaranteils) in der Unterrichtssprache statt.

Für Diplomstudierende wird eine Prüfung über den Stoff dieser Vorlesung und den der Vorlesung "Logik" angeboten.

Skript:

FGI_3.pdf [Stand 22.1.2016]
Benutzername und Passwort wie in FGI 2 oder durch Anfrage bei Rüdiger Valk

Folien im pdf-Format:

Diese werden hier vor dem Vortrag abgelegt. Bitte zur Vorbereitung nutzen! Beachten Sie ggf. Nachbesserungen nach dem Vortrag! Benutzername und Passwort wie in FGI 2 oder durch Anfrage bei Rüdiger Valk

Folien zu Kapitel 1: Einleitung und denotationale Semantik: Kap1(denot)web.pdf [Stand: 7.11.2015]
Folien zu Kapitel 2: Axiomatische Semantik: Kap2(axiomat)web.pdf [Stand: 27.11.2015]
Folien zu Kapitel 3: Felder, Abbruch und Ausgabe: Kap3(Felder_Abbruch_Ausgabe)web.pdf [Stand: 27.11.2015]
Folien zu Kapitel 4: Operationale Semantik und geschützte Anweisungen: Kap4(operat_nichtdet)web.pdf [Stand: 2.12.2015]
Folien zu Kapitel 5: Algebraische Spezifikationen und Ersetzungstheorien: Kap5(ersetzung).pdf [Stand: 10.1.2016]
Folien zu Kapitel 6: Lambda-Kalkül: Kap6(lambda)web.pdf [Stand: 29.1.2016]
Folien zu Kapitel 7: Ausblick und Zusammenfassung: Kap7(Wh&Ausblick)web.pdf [Stand: 29.1.2016]