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 | T2-227 | 09.10.2023-02.02.2024
not on: 10/9/23 / 10/16/23 / 12/25/23 / 1/1/24 |
|
| weekly | Fr | 8-10 | V2-213 | 09.10.2023-02.02.2024
not on: 10/13/23 / 12/29/23 / 1/5/24 |
|
| one-time | Mo | 16-19 | T2-227 | 05.02.2024 | |
| one-time | Fr | 8-12 | V2-213 | 09.02.2024 | |
| one-time | Fr | 10-12 | D2-152 | 22.03.2024 |
| 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 |