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 230008 Formale Methoden (V) und den dort verknüpften LernraumPlus zugänglich.
| Rhythmus | Tag | Uhrzeit | Format / Ort | Zeitraum | |
|---|---|---|---|---|---|
| weekly | Mo | 16-18 | U2-223 | 10.10.2022-03.02.2023
nicht am: 10.10.22 / 17.10.22 / 26.12.22 / 02.01.23 |
|
| weekly | Fr | 8-10 | U2-139 | 10.10.2022-03.02.2023
nicht am: 14.10.22 / 30.12.22 / 06.01.23 |
Verstecke vergangene Termine <<
| Modul | Veranstaltung | Leistungen | |
|---|---|---|---|
| 23-LIN-BaLin4 Methods Methoden | Formale Methoden 1 | Studieninformation | |
| 23-LIN-BaLin4.1 Formal Methods Formale Methoden | Formale Methoden: Übung | Studieninformation | |
| 23-TXT-BaCL2 Methods of Computer Linguistics and Text Technology Methoden der Computerlinguistik und Texttechnologie | Formale Methoden 1 | 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.
| Studiengang/-angebot | Gültigkeit | Variante | Untergliederung | Status | Sem. | LP | |
|---|---|---|---|---|---|---|---|
| Klinische Linguistik / Bachelor | (Enrollment until SoSe 2021) | LIN2a | Wahl |