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.
Rhythmus | Tag | Uhrzeit | Format / Ort | Zeitraum | |
---|---|---|---|---|---|
weekly | Mi | 14-16 | H13 | 11.10.2010-04.02.2011 |
Verstecke vergangene Termine <<
Datum | Uhrzeit | Format / Raum | Kommentar zum Prüfungstermin |
---|---|---|---|
Mittwoch, 2. Februar 2011 | 14-16 | H13 | |
Donnerstag, 3. März 2011 | 10-12 | H13 | 2. Termin |
Verstecke vergangene Prüfungstermine <<
Studiengang/-angebot | Gültigkeit | Variante | Untergliederung | Status | Sem. | LP | |
---|---|---|---|---|---|---|---|
Frauenstudien | (Enrollment until SoSe 2015) | ||||||
Klinische Linguistik / Bachelor | (Enrollment until SoSe 2021) | LIN2a | 0/3 | ||||
Klinische Linguistik / Bachelor | (Enrollment until SoSe 2009) | LIN2 | 0/3 | ||||
Linguistik / Bachelor | (Enrollment until SoSe 2011) | Kernfach | BaLin2 | 0/3 | |||
Linguistik / Bachelor | (Enrollment until SoSe 2011) | Nebenfach | BaLin2NF | 0/3 | |||
Medienwissenschaft, interdisziplinäre / Master | (Enrollment until SoSe 2014) | Einführung I | Wahlpflicht | 3 | |||
Texttechnologie / Bachelor | (Enrollment until SoSe 2011) | Nebenfach | BaLin2 | 0/3 |