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: - | 18
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.
Entfällt_FGI1-Übung Gr.09 (Di. 16-18 Uhr G-228)
Prof. Dr. Petra Berenbrink; Felix Biermeier; Tim Christopher Hahn; Dr. Dominik Kaaser; Tim Rolff
Di, 21. Apr. 2020 [16:15]-Di, 14. Jul. 2020 [17:45]
Entfällt_FGI1-Übung Gr.11 (Do. 10-12 Uhr G-102)
Do, 23. Apr. 2020 [10:15]-Do, 9. Jul. 2020 [11:45]
FGI1-Übung Gr.01 (Di. 16-18 Uhr F-009)
FGI1-Übung Gr.02 (Mi. 08-10 Uhr G-102)
Mi, 22. Apr. 2020 [08:15]-Mi, 15. Jul. 2020 [09:45]
Diese Kleingruppe wird aktuell angezeigt.
FGI1-Übung Gr.03 (Mi. 10-12 Uhr G-203)
Mi, 22. Apr. 2020 [10:15]-Mi, 15. Jul. 2020 [11:45]
FGI1-Übung Gr.04 (Do. 08-10 Uhr G-102)
Do, 23. Apr. 2020 [08:15]-Do, 9. Jul. 2020 [09:45]
FGI1-Übung Gr.05 (Do. 10-12 Uhr F-334)
FGI1-Übung Gr.06 (Do. 12-14 Uhr G-228)
Do, 23. Apr. 2020 [12:15]-Do, 9. Jul. 2020 [13:45]
FGI1-Übung Gr.07 (Fr. 10-12 Uhr G-203)
Fr, 24. Apr. 2020 [10:15]-Fr, 10. Jul. 2020 [11:45]
FGI1-Übung Gr.08 (Fr. 12-14 Uhr F-635)
Fr, 24. Apr. 2020 [12:15]-Fr, 10. Jul. 2020 [13:45]
FGI1-Übung Gr.10 (Mi. 10-12 Uhr F-009)