64-051 Übungen zu Formale Grundlagen der Informatik I

Lehrende: Prof. Dr. Petra Berenbrink; Felix Biermeier; Tim Christopher Hahn; Dr. Dominik Kaaser; Tim Rolff

Veranstaltungsart: Übung

Anzeige im Stundenplan: FGI I - Üb

Semesterwochenstunden: 2

Credits: 4,0

Unterrichtssprache: Deutsch

Min. | Max. Teilnehmerzahl: - | 164

Kommentare/ Inhalte:
Der Vorlesungsstoff der Modulveranstaltung 64-050 bestimmt die Inhalte und Themen der Übungsaufgaben.

Lernziel:
In den Übungen soll der Umgang mit formalen Methoden und Beweistechniken erlernt und geübt werden.

Vorgehen:
In den Übungen werden in Kleingruppen erarbeitete Hausaufgaben zu den Themen der Vorlesung von den Teilnehmenden präsentiert und im Plenum besprochen.

Materialien werden im Wesentlichen über OpenOlat bereitgestellt. Daher bitte bis spätestens Ende März mind. einmal in dem System zur Registrierung anmelden.
Die Materialien werden in der OpenOlat-Umgebung https://www.openolat.uni-hamburg.de/dmz/ bereitgestellt. Eine Anmeldung von allen Teilnehmenden mittels der Benutzerkennung, z.B. BAO1234, der Universtität ist für die Nutzung zwingend notwendig.

Literatur:
siehe Vorlesung

Zusätzliche Hinweise zu Prüfungen:
Neben der aktiven Teilnahme sind Hausaufgaben zu lösen, abzugeben und zu präsentieren.
Weiterhin sind On-line-Test im OpenOlat-System erfolgreich abzuschließen.