Master-Pflichtmodul MPM1: Formale Grundlagen der Informatik III (FGI-3)

Veranstaltungs-Nr.: VL 64-301 (WiSe 2010/2011)
Titel: Vorlesung FGI 3-Semantik von Programmen
Veranstalter: Matthias Jantzen / Michael Köhler-Bußmeier
Zeit / Ort: 2 st. Beginn 19.10. 2010, Di. 14:15-15:45 B-201
Zur inhaltlichen Beschreibung siehe: FGI3-Semantik-kvv.html

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 "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:
  • Die Zulassung zur Modulprüfung setzt die regelmäßige und erfolgreiche (Seminararbeit und Referat) Teilnahme an dem integrierten Seminar "Logik und Semantik von Programmen" voraus. Die Modulprüfung findet als Modulabschlussprüfung in Form einer mündlichen Prüfung (über die Gesamtinhalte der Vorlesungsanteile und des Seminaranteils) in der Unterrichtssprache statt.
  • Für Diplomstudierende wird eine Prüfung über den Stoff dieser Vorlesung und den der Vorlesung "Logik" angeboten (Übergangsregelung).
Materialien:

  • Skript: FGI3_Skript_Valk.pdf [Stand 27.2.2008]
    Die Druckversion [Stand 10.9.2007] ist eventuell im Sekretariat TGI (Haus C, 1. Stock) (Öffnungszeiten) erhältlich.

    Alle Präsentationsfolien der Veranstaltung im WiSe 2010/2011 sind diese: SemantikFolienWS1011-2to1.pdf

  • Vortragsfolien in Teilen (Stand WiSe 2010/2011) sind hier abgelegt:

    Folien zu Kapitel 1 / Teil 1 : Semantik_Kap1_1(denot)
    Folien zu Kapitel 1 / Teil 2 : Semantik_Kap1_3(fix)

    Folien zu Kapitel 2 / Teil 1 : Semantik_Kap2_1(ax-7schritte)
    Folien zu Kapitel 2 / Teil 2 : Semantik_Kap2_2+3(kal)

    Folien zu Kapitel 3 / Teil 1 : Semantik_Kap3_1+2(Felder)
    Folien zu Kapitel 3 / Teil 2 : Semantik_Kap3_3(fail&ausgabe)

    Folien zu Kapitel 4 / Teil 1 : Semantik_Kap4_1(op)
    Folien zu Kapitel 4 / Teil 2 : Semantik_Kap4_3(op)

    Folien zu Kapitel 5 / Teil 1 : Semantik_Kap5_1(lambda+)
    Folien zu Kapitel 5 / Teil 2 : Semantik_Kap5_2(funk)

    Folien zu Kapitel 6 / Teil 1 : Semantik_Kap6_1(disjunkt)
    Folien zu Kapitel 6 / Teil 1 : Semantik_Kap6_2(schreib)

    Folien zu Kapitel 7 / Teil 1 : Semantik_Kap7_1(typ)
    Folien zu Kapitel 7 / Teil 2 : Semantik_Kap7_2(untertyp)

    Lösungen u. Lösungsansätze zu einigen Aufgaben:
    Aufg. 1.3; Aufg. 1.20; Aufg. 2.6a ; Aufg. 2.6b Teil 1; Aufg. 2.6b Teil2; Aufg_2_6_c_totale_K; Aufg_2_13; Aufg_2_24; Aufg_3_4; Aufg_4_2b; Aufg_4_4; Aufg_4_5; Aufg_6_17a; Aufg_6_17b;

    Die Folien werden teilweise aus der Vorlesung LOS übernommen und weiterentwickelt. Es ist sinnvoll, sie zur Vorbereitung zu benutzen.

  • Benutzernamen und Passwort finden sich auf der kleinen Pinwand neben der Tür zu C-217.

    Letzte Änderungen: 20.10.10

    •