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 230009 Formale Methoden (V) und den dort verknüpften Moodle-Kurs zugänglich.
| Frequency | Weekday | Time | Format / Place | Period | |
|---|---|---|---|---|---|
| weekly | Mo | 16-18 | U2-200 | 07.10.2024-31.01.2025
not on: 10/7/24 / 10/14/24 / 12/23/24 / 12/30/24 |
|
| weekly | Fr | 8-10 | U2-229 | 07.10.2024-31.01.2025
not on: 10/11/24 / 11/1/24 / 12/27/24 / 1/3/25 |
|
| one-time | Mo | 16-18 | U2-200 | 03.02.2025 | |
| one-time | Fr | 8-10 | U2-200 | 07.02.2025 |
| Module | Course | Requirements | |
|---|---|---|---|
| 23-LIN-BaLin4 Methoden | Formale Methoden 1 | Student information | |
| 23-LIN-BaLin4.1 Formale Methoden | Formale Methoden: Übung | Student information | |
| 23-TXT-BaCL2 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 |