Das Seminar behandelt einführend wesentliche Bausteine einer formalen Semantik für natürliche Sprachen: Startend mit aussagenlogischen Bedeutungsrepräsentationen werden danach prädikatenlogische Repräsentationen und in Teilen deren Erweiterungen im Zentrum stehen. Dabei geht es immer um die Interpretation dieser Repräsentationen in Bezug auf ein Modell der Welt.
Zu wünschenswerten Vorkenntnissen siehe den nachfolgenden Block.
Die inhaltliche Konzeption des Kurses nimmt Grundkenntnisse in Aussagen- und Prädikatenlogik an, wie sie etwa in dem Kurs Formale Methoden 2 vermittelt werden, aber auch Grundkenntnisse in Mengentheorie und formaler Sprachtheorie, wie sie zu den Inhalten des Kurses Formale Methoden 1 gehören. Diese Grundkenntnisse können ggf. durch einen individuell bestimmten Arbeitsmehraufwand parallel zur Veranstaltung erworben bzw. aufgefrischt werden.
Rhythmus | Tag | Uhrzeit | Format / Ort | Zeitraum |
---|
Modul | Veranstaltung | Leistungen | |
---|---|---|---|
23-LIN-BaLin5 Linguistik Orientierungsmodul | Linguistik Orientierungsveranstaltung | Studienleistung
|
Studieninformation |
23-TXT-BaCL2a Methoden der Computerlinguistik (für Studierende mit Kernfach Linguistik) | Veranstaltung aus dem Bereich Methoden der Computerlinguistk | Studienleistung
|
Studieninformation |
23-TXT-BaCL5 Vertiefungsmodul | Veranstaltung aus dem Vertiefungsbereich | 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.
Zu dieser Veranstaltung existiert ein Lernraum im E-Learning System. Lehrende können dort Materialien zu dieser Lehrveranstaltung bereitstellen: