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.
| Frequency | Weekday | Time | Format / Place | Period | |
|---|---|---|---|---|---|
| weekly | Mo | 16-18 | U2-223 | 10.10.2022-03.02.2023
not on: 10/10/22 / 10/17/22 / 12/26/22 / 1/2/23 |
|
| weekly | Fr | 8-10 | U2-139 | 10.10.2022-03.02.2023
not on: 10/14/22 / 12/30/22 / 1/6/23 |
| Module | Course | Requirements | |
|---|---|---|---|
| 23-LIN-BaLin4 Methods Methoden | Formale Methoden 1 | Student information | |
| 23-LIN-BaLin4.1 Formal Methods Formale Methoden | Formale Methoden: Übung | Student information | |
| 23-TXT-BaCL2 Methods of Computer Linguistics and Text Technology Methoden der Computerlinguistik und Texttechnologie | Formale Methoden 1 | Student information |
The binding module descriptions contain further information, including specifications on the "types of assignments" students need to complete. In cases where a module description mentions more than one kind of assignment, the respective member of the teaching staff will decide which task(s) they assign the students.
| Degree programme/academic programme | Validity | Variant | Subdivision | Status | Semester | LP | |
|---|---|---|---|---|---|---|---|
| Klinische Linguistik / Bachelor | (Enrollment until SoSe 2021) | LIN2a | Wahl |