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.
Angenomme Vorkenntnisse:
Die inhaltliche Konzeption des Kurses nimmt Grundkenntnisse in Aussagen- und Prädikatenlogik an (wie sie etwa im Kurs Formale Methoden 2 vermittelt werden) sowie Grundkenntnisse in Mengenlehre und formaler Sprachtheorie (wie sie zu den Inhalten des Kurses Formale Methoden 1 gehören).
Frequency | Weekday | Time | Format / Place | Period | |
---|---|---|---|---|---|
weekly | Fr | 10-12 | U2-113 | 07.10.2019-31.01.2020
not on: 11/1/19 / 11/15/19 / 12/27/19 / 1/3/20 / 1/17/20 / 1/31/20 |
|
one-time | Do | 12-14 | C01-148 | 16.01.2020 | |
one-time | Fr | 8-10 | U2-113 | 24.01.2020 | |
one-time | Fr | 10-12 | H2 | 31.01.2020 |
Module | Course | Requirements | |
---|---|---|---|
23-LIN-BaLin5 Linguistik Orientierungsmodul | Linguistik Orientierungsveranstaltung | Study requirement
|
Student information |
23-TXT-BaCL2a Methoden der Computerlinguistik (für Studierende mit Kernfach Linguistik) | Veranstaltung aus dem Bereich Methoden der Computerlinguistk | Study requirement
|
Student information |
23-TXT-BaCL5 Vertiefungsmodul | Veranstaltung aus dem Vertiefungsbereich | Study requirement
|
Student information |
The binding module descriptions contain further information, including specifications on the "types of assignments" students need to complete. In cases where a module description mentions more than one kind of assignment, the respective member of the teaching staff will decide which task(s) they assign the students.
Diese Webseite verwendet Cookies und ähnliche Technologien. Einige davon sind essentiell, um die Funktionalität der Website zu gewährleisten, während andere uns helfen, die Website und Ihre Erfahrung zu verbessern. Falls Sie zustimmen, verwenden wir Cookies und Daten auch, um Ihre Interaktionen mit unserer Webseite zu messen. Sie können Ihre Einwilligung jederzeit unter Datenschutzerklärung einsehen und mit der Wirkung für die Zukunft widerrufen. Auf der Seite finden Sie auch zusätzliche Informationen zu den verwendeten Cookies und Technologien.