Formale Grundlagen der Informatik IIIb - Semantik
Veranstalter: Rüdiger Valk
Termin: Freitag, 14:15 - 15:45 in B-201
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):
- Di, 13. Feb. 2018 09:00-12:00 Phil A --- Schreibzeit 120 Minuten
- Fr, 16. Mär. 2018 09:00-12:00 Phil D --- Schreibzeit 120 Minuten
Erste Klausur des Vorjahres: Kausur1-2016-2017
Für Diplomstudierende wird eine Prüfung über den Stoff der beiden Vorlesungen angeboten.
Skript
fgi3.pdf [Stand 20.10.2017]
Folien im pdf-Format
Diese werden hier vor dem Vortrag abgelegt. Bitte zur Vorbereitung nutzen! Beachten Sie ggf. Nachbesserungen nach dem Vortrag!
- Folien zur Einleitung und Kapitel 1: Denotationale Semantik: kap1-denot(pdf) [Stand 28.10.2017]
- Folien zu Kapitel 2: Axiomatische Semantik: kap2-axiomat-web(pdf) [Stand 2.12.2017]
- Folien zu Kapitel 3: Felder, Abbruch, Ausgabe: kap3-felder-abbruch-ausgabe-web-1(pdf)
[Stand 23.11.2017] - Folien zu Kapitel 4: Operationale Semantik, Geschützte Anweisungen und Programm-Entwicklung: kap4-operat-nichtdet-web(pdf) [Stand 4.1.2018]
- Folien zu Kapitel 5: Algebraische Spezifikationen und Ersetzungs-Theorien: kap5-ersetzung-web(pdf) [Stand 10.1.2018]
- Folien zu Kapitel 6: Lambda-Kalkül und Rückblick: kap6-lambda-web(pdf) [Stand 2.2.2018]
Ablaufaufzeichnungen mit Audio im mov-Format:
- Aufnahme vom 20.10.2017: kap1-denot-20102017(mov)
- Aufnahme vom 27.10.2017: kap1-denot-27102017(mov)
- Aufnahme vom 3.11.2017: kap1-denot-03112017(mov)
- Aufnahme vom 10.11.2017: kap1-denot-10112017(mov)
- Aufnahme vom 17.11.2017: kap1-denot-17112017(mov)
- Aufnahme vom 24.11.2017: kap2-axiomat-24112017(mov)
- Aufnahme vom 1.12.2017: kap3-Felder-Abbruch-Ausgabe-01122017(mov)
- Aufnahme vom 8.12.2017: kap3-Felder-Abbruch-Ausgabe-08122017(mov)
- Aufnahme vom 15.12.2017: kap4-operat_nichtdet_15122017(mov)
- Aufnahme vom 22.12.2017: kap4-operat_nichtdet_22122017(mov)
- Aufnahme vom 19.1.2018: kap5-ersetzung-19012018(mov)
- Aufnahme vom 26.1.2018: kap6-lambda-26012018(mov)
- Aufnahme vom 2.2.2018: kap6-lambda-02022018(mov)