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

Veranstaltungs-Nr.: VL 64-301 (WiSe 2009/2010)
Titel: Vorlesung FGI 3-Semantik von Programmen
Veranstalter: Matthias Jantzen
Zeit / Ort: 2 st. Beginn 20.10. 2009, 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_semantik.pdf [Stand 27.2.2008]
    Die Druckversion [Stand 10.9.2007] ist im Sekretariat TGI (Haus C, 1. Stock) (Öffnungszeiten) erhältlich.

  • Vortragsfolien werden nach dem Vortrag hier abgelegt:

    Folien zu Kapitel 1 / Teil 1 : Semantik_Kap1_1(denot) (geändert 26.10.2009)
    Folien zu Kapitel 1 / Teil 2 : Semantik_Kap1_2(fix) (geändert 26.10.2009)

    Folien zu Kapitel 2 / Teil 1 : Semantik_Kap2_1(ax-7schritte) (geändert 26.10.2009)
    Folien zu Kapitel 2 / Teil 2 : Semantik_Kap2_2(kal)

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

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

    Folien zu Kapitel 5 / Teil 1 : Semantik_Kap5_1(ersetzung)
    Folien zu Kapitel 5 / Teil 2 : Semantik_Kap5_2(term-algebra)

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

    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 im oberen Teil der zweiten Seite des verteilten Skriptes
    oder sind über < valk AT informatik PUNKT uni-hamburg PUNKT de > zu erfahren.

    Letzte Änderungen: 10/26/09

    •