Die Veranstaltung behandelt schwerpunktmäßig die Themen Mengenlehre, formale Grammatiken und Automaten.
Die Inhalte des ersten Schwerpunkts bilden letztlich eine wesentliche Grundlage für alle formal-mathematischen Beschreibungs- und Modellierungsverfahren. In diesem Sinne bilden mengentheoretische Konzepte die Grundlage für die wissenschaftliche Arbeit. Begriffe wie Menge, Relation, Funktion werden thematisiert und eingeübt. Mit der Theorie der Zeichenketten und formaler Grammatiken ist ein erster Ansatzpunkt dafür gegeben, wie man Sprachproduktion mit Hilfe formaler Systeme erfassen kann. Die Automatentheorie leistet Analoges für die Sprachrezeption.
Rhythmus | Tag | Uhrzeit | Format / Ort | Zeitraum | |
---|---|---|---|---|---|
wöchentlich | Mi | 14-16 | H6 | 08.10.2018-01.02.2019
nicht am: 26.12.18 / 02.01.19 / 30.01.19 |
|
einmalig | Mi | 14-16 | H13 | 30.01.2019 | einmaliger Raumtausch! |
Verstecke vergangene Termine <<
Datum | Uhrzeit | Format / Raum | Kommentar zum Prüfungstermin |
---|---|---|---|
Mittwoch, 20. März 2019 | 14-16 | H6 | 2. Termin |
Verstecke vergangene Prüfungstermine <<
Modul | Veranstaltung | Leistungen | |
---|---|---|---|
23-LIN-BaLin4 Methoden | Formale Methoden 1 | Studienleistung
|
Studieninformation |
23-TXT-BaCL2 Methoden der Computerlinguistik und Texttechnologie | Formale Methoden 1 | Studienleistung
|
Studieninformation |
Die verbindlichen Modulbeschreibungen enthalten weitere Informationen, auch zu den "Leistungen" und ihren Anforderungen. Sind mehrere "Leistungsformen" möglich, entscheiden die jeweiligen Lehrenden darüber.
Studiengang/-angebot | Gültigkeit | Variante | Untergliederung | Status | Sem. | LP | |
---|---|---|---|---|---|---|---|
Klinische Linguistik / Bachelor | (Einschreibung bis SoSe 2021) | LIN2a | 0/3 |