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.
Angenommene Vorkenntnisse:
Die inhaltliche Konzeption des Kurses nimmt Grundkenntnisse in Aussagen- und Prädikatenlogik an (wie sie etwa im Kurs Logische Grundlagen des Moduls 23-CL-BaCL1 vermittelt werden) sowie Grundkenntnisse in Mengenlehre und formaler Sprachtheorie (wie sie zu den Inhalten des Moduls 23-LIN-BaLin4.1 Formale Methoden gehören).
| Rhythmus | Tag | Uhrzeit | Format / Ort | Zeitraum | |
|---|---|---|---|---|---|
| wöchentlich | Di | 14-16 | 13.04.-24.07.2026 |
| Modul | Veranstaltung | Leistungen | |
|---|---|---|---|
| 23-CL-BaCL5 Vertiefungsmodul Vertiefungsmodul | Lehrveranstaltung 1 | Studienleistung
|
Studieninformation |
| Lehrveranstaltung 2 | Studienleistung
|
Studieninformation | |
| - | benotete Prüfungsleistung | 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.