Die beiden wöchentlichen Termine sind zueinander alternative Termine.
Es handelt sich um die Übung zur Veranstaltung 'Formale Methoden' des aktuellen Semesters. Weitere Informationen sind über den eKVV-Veranstaltungseintrag 230003 Formale Methoden (V) und den dort verknüpften Moodle-Kurs zugänglich.
| Rhythmus | Tag | Uhrzeit | Format / Ort | Zeitraum | |
|---|---|---|---|---|---|
| wöchentlich | Mo | 16-18 | S1-147 | 13.10.2025-06.02.2026
nicht am: 13.10.25 / 20.10.25 / 22.12.25 / 29.12.25 |
|
| wöchentlich | Fr | 8-10 | V2-121 | 13.10.2025-06.02.2026
nicht am: 17.10.25 / 26.12.25 / 02.01.26 |
| Modul | Veranstaltung | Leistungen | |
|---|---|---|---|
| 23-KLI-BA-FEKL Fachliche Ergänzung mit Bezug zur KliLi Fachliche Ergänzung mit Bezug zur KliLi | Veranstaltung 1 | Studieninformation | |
| Veranstaltung 2 | Studieninformation | ||
| Veranstaltung 3 | Studieninformation | ||
| 23-LIN-BaLin4.1 Formale Methoden Formale Methoden | Formale Methoden: Übung | Studieninformation |
Die verbindlichen Modulbeschreibungen enthalten weitere Informationen, auch zu den "Leistungen" und ihren Anforderungen. Sind mehrere "Leistungsformen" möglich, entscheiden die jeweiligen Lehrenden darüber.