Start my eKVV Studieninformation Lernräume Prüfungsverwaltung Bewerbungs-/Statusportal Anmelden

230013 Formale Methoden 1 (V) (WiSe 2019/2020)

Inhalt, Kommentar

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.

Lehrende

Termine (Kalendersicht )

Rhythmus Tag Uhrzeit Format / Ort Zeitraum  

Zeige vergangene Termine >>

Klausuren

Datum Uhrzeit Format / Raum Kommentar

Zeige vergangene Klausurtermine >>

Fachzuordnungen

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 ab WiSe 09/10) LIN2a   0/3  
Konkretisierung der Anforderungen
Keine Konkretisierungen vorhanden
Lernraum
Teilnehmer*innen
Automatischer E-Mailverteiler der Veranstaltung
Änderungen/Aktualität der Veranstaltungsdaten
Sonstiges