64-302 Seminar Formale Grundlagen der Informatik III - Logik und Semantik von Programmen

Lehrende: Prof. Dr. Petra Berenbrink; Dr. Michael Köhler-Bußmeier; Prof. Dr. Rüdiger Valk

Veranstaltungsart: Seminar

Anzeige im Stundenplan: FGI 3 - Sem

Semesterwochenstunden: 2

Credits: 3,0

Unterrichtssprache: Deutsch

Min. | Max. Teilnehmerzahl: - | 100

Kommentare/ Inhalte:
Durch die Themen im Seminar sollen die Themen der Vorlesung vertieft bzw. komplementiert werden.

Lernziel:
Lernziel ist die Fähigkeit zur fachlich qualifizierten Reflexion und Artikulation über ein Fachthema der Informatik. Dabei sind Formen der Präsentation, Vortragsweise und schriftlichen Darstellung zu üben.

Vorgehen:
Drei der Seminare finden semesterbegleitend, zwei als Blockveranstaltung statt. Im einzelnen:

Gruppe 1, Mo 12-14 Uhr, D-220 bei Peter Kling

Diese Seminargruppe findet semesterbegleitend statt. Das erste Treffen findet voraussichtlich in der 1. oder 2. Vorlesungwoche statt (Termin folgt). Dort werden die möglichen Themen vorgestellt und diskutiert. Die Themen sind aus dem Bereich der Algorithmen.

Gruppe 2,  Mo 16-18 Uhr, D-220 bei Petra Berenbrink

Diese Seminargruppe findet semesterbegleitend statt. Das erste Treffen findet voraussichtlich in der ersten Vorlesungwoche statt (Termin folgt). Dort werden die möglichen Themen vorgestellt und diskutiert. Die Themen sind aus dem Bereich der Algorithmen.

Gruppe 3, Fr 12-14 Uhr, G-203 bei Rüdiger Valk

Diese Seminargruppe findet semesterbegleitend statt.

Die Vorbesprechung und Terminvergabe findet in der ersten Sitzung am 27.10. statt. Geplant ist, die Literatur vorher in einem Commsy-Raum bereitzustellen. Sie können vorher per Email an mich  (valk@informatik.uni-hamburg.de) Interesse für ein Thema anmelden, das ich in der Vorbesprechung zu berücksichtigen versuche.

Gruppe 4, Blockveranstaltung bei Michael Köhler-Bussmeier

Diese Veranstaltung wird kompakt veranstaltet. Der Vorbesprechungstermin findet in der dritten Vorlesungswoche  statt. Die Themen sind aus dem Bereich der Logik und der Verifikation. Die Blockveranstaltung erfordert ein hohes Maß an Selbstständigkeit und Zeitmanagment, da bis zur eigentlichen Blockveranstaltung viel Arbeit bereits erledigt sein muss. Zudem kann in der Blockveranstaltung weniger auf das Üben von Präsentationsformen eingegangen werden als in der semesterbegleitenden Veranstaltung.

Gruppe 5, Blockveranstaltung bei  Peter Kling

Diese Veranstaltung wird kompakt veranstaltet. Es wird einen Vorbesprechungstermin mit Themenvergabe sowie zwei Blocktermine geben.
Der Vorbesprechungstermin findet voraussichtlich in der 1. oder 2. Vorlesungswoche statt (Termin folgt).  Die Themen sind aus dem Bereich der Algorithmen.

 

Literatur:
Wird in der Veranstaltung bekannt gegeben.