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

Veranstaltungs-Nr.:	64.301 (WiSe 2016/2017)
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: 21.10.2016

Stellung im Studienplan:

Das Modul behandelt über den Bachelorstoff hinausgehende Konzeptionen der Logik, Algorithmen und Semantik und legt somit die Grundlage für ein vertieftes Verständnis formaler Ansätze zur Spezifikation und Analyse von Informatiksystemen, wie sie für ein wissenschaftliches Vorgehen in allen Vertiefungsgebieten des Masterstudiums benötigt werden. Die beiden Themenbereiche "Logik und weiterführende Algorithmen" und "Semantik von Programmen" werden durch zwei aufeinander abgestimmte Vorlesungen (diese Vorlesung und die Vorlesung "Logik und weiterführende Algorithmen" 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 Klausur (über die Gesamtinhalte der Vorlesungsanteile in der Unterrichtssprache) statt.
Klausurtermine (ohne Gewähr):
14.2.2017 ESA A (12-15 Uhr) Schreibzeit 120 Minuten
14.3.2017 ESA B (9-12 Uhr) Schreibzeit 120 Minuten

Für Diplomstudierende wird eine Prüfung über den Stoff der beiden Vorlesungen angeboten.

Skript:

FGI_3.pdf [Stand 10.10.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: 14.11.2016]
Folien zu Kapitel 2: Axiomatische Semantik: Kap2(axiomat)web.pdf [Stand: 14.11.2016]
Folien zu Kapitel 3: Felder, Abbruch und Ausgabe: Kap3(Felder_Abbruch_Ausgabe)web.pdf [Stand: 9.12.2016]
Folien zu Kapitel 4: Operationale Semantik, geschützte Anweisungen und Nichtdeterminismus: Kap4(operat_nichtdet)web.pdf [Stand: 19.12.2016]
Folien zu Kapitel 5: Algebraische Spezifikationen und Ersetzungstheorien: Kap5(ersetzung).pdf [Stand: 28.1.2017]
Folien zu Kapitel 6: Lambda-Kalkül: Kap6(lambda)web.pdf [Stand: 28.1.2017]
Folien zu Kapitel 7: Zusammenfassung und Ausblick: Kap7(Wh+Ausblick)web.pdf [Stand: 6.2.2017]

Ablaufaufzeichnungen mit Audio im mov-Format:

Benutzername und Passwort wie in FGI 2 oder durch Anfrage bei Rüdiger Valk.

Aufnahme vom 21.10.2016: Einleitung und denotationale Semantik: Kap1(denot)21102016.mov [Stand: 21.10.2016]
Aufnahme vom 28.10.2016: Einleitung und denotationale Semantik: Kap1(denot)28102016.mov [Stand: 28.10.2016]
Aufnahme vom 4.11.2016: Fixpunkt, while-Anweisung und axiomatische Semantik: Kap1(denot)04112016.mov [Stand: 4.11.2016]
Aufnahme vom 11.11.2016: Axiomatische Semantik 1: Kap1(denot)11112016.mov [Stand: 11.11.2016]
Aufnahme vom 18.11.2016: Axiomatische Semantik 2: Kap2(axiomat)18112016.mov [Stand: 18.11.2016]
Aufnahme vom 25.11.2016: Felder, Abbruch und Ausgabe: Kap3(Felder_Abbruch_Ausgabe)25112016.mov [Stand: 25.11.2016]
Aufnahme vom 2.12.2016: Operationale Semantik: Kap3(Felder_Abbruch_Ausgabe)02122016.mov [Stand: 2.12.2016]
Aufnahme vom 9.12.2016: Geschützte Anweisungen und Programmentwicklung Kap4(operat_nichtdet)09122016.mov [Stand: 9.12.2016]
Aufnahme vom 16.12.2016: Programmentwicklung und Ersetzungs-Systeme 1 Kap4(operat_nichtdet)16122016 [Stand: 16.12.2016]
Aufnahme vom 23.12.2016: Ersetzungs-Systeme 2 Kap5(ersetzung)23122016.mov.mov [Stand: 23.12.2016]
Aufnahme vom 13.1.2017: Ersetzungs-Systeme 3 Kap5(ersetzung)13012017.mov [Stand: 13.1.2017]
Aufnahme vom 20.1.2017: Ersetzungs-Systeme 4 & Lambda-Kalkül Kap5(ersetzung)20012017.mov [Stand: 20.1.2017]
Aufnahme vom 27.1.2017: Lambda-Kalkül Kap6(lambda)27012017.mov [Stand: 27.1.2017]
Aufnahme vom 3.2.2017: Wiederholung und Ausblick Kap7(Wh+Ausblick)03022017.mov [Stand: 3.2.2017]