Lehrende: Dr. Daniel Moldt; Tim Christopher Hahn; Bunlong Lay; Dimitri Popov; Tim Rolff; Florian Schneider; Dr. Navid Tavanapour
Veranstaltungsart: Übung
Anzeige im Stundenplan: ETI - Üb
Semesterwochenstunden: 2
Credits: 3,0
Unterrichtssprache: Deutsch
Min. | Max. Teilnehmerzahl: - | 380
Kommentare/ Inhalte: Der Vorlesungsstoff der Modulveranstaltung 64-055 bestimmt die Inhalte und Themen der Übungsaufgaben.
Lernziel: In den Übungen soll der Umgang mit formalen Methoden und Beweistechniken erlernt und geübt werden. Die Präsenzübungen dienen neben dem Erwerb der fachlichen Inhalte dem Erwerb von Fähigkeiten im Bereich des gemeinsamen Arbeitens, des Argumentierens und der interaktiven Beweisführung.
Vorgehen: Es gibt für die jeweiligen wöchentlichen Inhalte des Moduls OpenOLAT-Tests, Präsenzübungen und dazu passende Hausaufgaben, die wöchentlich abzugeben sind. Es besteht Anwesensheitspflicht, da die Präsenzübungen auf der gemeinsamen Bearbeitung der Aufgaben beruhen. Zu den Präsenzübungen werden Lösungsskizzen nach der letzten Übungsgruppe der jeweiligen Woche bereitgestellt, die dann für die Hausaufgaben genutzt werden können. Die OpenOLAT-Tests sind innerhalb der jeweils angegebenen Termine erfolgreich zu absolvieren. Die Hausaufgaben müssen innerhalb der auf den Aufgabenzettel vermerkten Zeiten abgegeben werden. Fragen zum Stoff werden über ein Online-Forum beantwortet, in dem anonym Fragen gestellt werden können. Materialien werden über OpenOLAT zur Vor- und Nachbereitung zur Verfügung gestellt.
Literatur: siehe Vorlesung
Zusätzliche Hinweise zu Prüfungen: Zum Bestehen der Übung für das Modul sind wöchentlich,
Entfällt_ETI-Übung Gr.06 (Di. 16-18 Uhr)
Dr. Daniel Moldt; Tim Christopher Hahn; Bunlong Lay; Dimitri Popov; Tim Rolff; Florian Schneider; Dr. Navid Tavanapour
Entfällt_ETI-Übung Gr.17 (Do. 12-14 Uhr)
Entfällt_ETI-Übung Gr.19 (Fr. 10-12 Uhr)
Entfällt_ETI-Übung Gr.20 (Fr. 10-12 Uhr)
ETI-Übung Gr.01 (Di. 12-14 Uhr)
Di, 5. Apr. 2022 [12:15]-Di, 12. Jul. 2022 [13:45]
ETI-Übung Gr.02 (Di. 12-14 Uhr)
ETI-Übung Gr.03 (Di. 12-14 Uhr)
ETI-Übung Gr.04 (Di. 14-16 Uhr)
Di, 5. Apr. 2022 [14:15]-Di, 12. Jul. 2022 [15:45]
ETI-Übung Gr.05 (Di. 16-18 Uhr)
Di, 5. Apr. 2022 [16:15]-Di, 12. Jul. 2022 [17:45]
ETI-Übung Gr.07 (Mi. 08-10 Uhr)
Mi, 6. Apr. 2022 [08:15]-Mi, 13. Jul. 2022 [09:45]
ETI-Übung Gr.08 (Mi. 08-10 Uhr)
ETI-Übung Gr.09 (Mi. 10-12 Uhr)
Mi, 6. Apr. 2022 [10:15]-Mi, 13. Jul. 2022 [11:45]
ETI-Übung Gr.10 (Mi. 10-12 Uhr)
ETI-Übung Gr.11 (Do. 08-10 Uhr)
Do, 7. Apr. 2022 [08:15]-Do, 14. Jul. 2022 [09:45]
ETI-Übung Gr.12 (Do. 08-10 Uhr)
ETI-Übung Gr.13 (Do. 10-12 Uhr)
Do, 7. Apr. 2022 [10:15]-Do, 14. Jul. 2022 [11:45]
ETI-Übung Gr.14 (Do. 10-12 Uhr)
ETI-Übung Gr.15 (Do.12-14 Uhr)
Do, 7. Apr. 2022 [12:15]-Do, 14. Jul. 2022 [13:45]
ETI-Übung Gr.16 (Do. 12-14 Uhr)
ETI-Übung Gr.18 (Fr. 10-12 Uhr)
Fr, 8. Apr. 2022 [10:15]-Fr, 15. Jul. 2022 [11:45]
ETI-Übung Gr.21 (Fr. 12-14 Uhr)
Fr, 8. Apr. 2022 [12:15]-Fr, 15. Jul. 2022 [13:45]
ETI-Übung Gr.22 (Fr. 12-14 Uhr)
ETI-Übung Gr.23 (Fr. 14-16 Uhr)
Fr, 8. Apr. 2022 [14:15]-Fr, 15. Jul. 2022 [15:45]