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.
| Frequency | Weekday | Time | Format / Place | Period | |
|---|---|---|---|---|---|
| weekly | Di | 10-12 | 12.10.2026-05.02.2027 | ||
| weekly | Fr | 8-10 | 12.10.2026-05.02.2027 |
| Module | Course | Requirements | |
|---|---|---|---|
| 23-KLI-BA-FEKL Professional supplement with reference to clinical linguistics Fachliche Ergänzung mit Bezug zur KliLi | Veranstaltung 1 | Student information | |
| Veranstaltung 2 | Student information | ||
| Veranstaltung 3 | Student information | ||
| 23-LIN-BaLin4.1 Formal Methods Formale Methoden | Formale Methoden: Übung | 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.