Die Veranstaltung behandelt schwerpunktmäßig die Themen Mengentheorie, formale Grammatiken und Automaten.
Mengentheorie bildet eine wesentliche Grundlage für alle im Modul Formale Methoden behandelten Beschreibungs- und Modellierungsverfahren. Formale Grammatiken liefern einen ersten Zugang, Sprachgenerierung mit Hilfe formaler Systeme zu erfassen. Die Automatentheorie leistet Analoges für die (maschinelle) Sprachverarbeitung.
Frequency | Weekday | Time | Format / Place | Period | |
---|---|---|---|---|---|
weekly | Do | 8-10 | C01-276 | 13.10.2008-06.02.2009 |
Date | Time | Format / Room | Comment about examination |
---|---|---|---|
Thursday, February 5, 2009 | 8-10 | C01-276 | 1. Termin |
Wednesday, March 18, 2009 | 10-12 | H2 | 2. Termin |
Hide passed examination dates <<
Degree programme/academic programme | Validity | Variant | Subdivision | Status | Semester | LP | |
---|---|---|---|---|---|---|---|
Klinische Linguistik / Bachelor | (Enrollment until SoSe 2009) | BaKLLin2 | 3 | ||||
Linguistik / Bachelor | (Enrollment until SoSe 2011) | Nebenfach | BaLin2NF | 0/3 | |||
Linguistik / Bachelor | (Enrollment until SoSe 2011) | Kernfach | BaLin2; BaLin2.1 | 1. | 0/3 | ||
Texttechnologie / Bachelor | (Enrollment until SoSe 2011) | Nebenfach | BaLin2 | 1. | 0/3 |