SoSe 2024
Robert Zangenfeind:
Vorlesung: Dienstag, 14 c.t. - 16h
Tafelübung: Donnerstag, 16 c.t. - 18h
Weitere Übungsaufgaben finden sich im Moodle. Der Schlüssel dazu wird in der ersten Sitzung der Vorlesung am Dienstag bekannt gegeben.
Kaiwei Lei:
Tutorium s. Moodle
Der Kurs wird in hybrider Form stattfinden mit Präsenz (Vorlesung und Tafelübung in Raum L 155) und paralleler Zoom-Übertragung (Bekanntgabe des Zoom-Links kurz vor Vorlesungsbeginn an alle eingeschriebenen Kursteilnehmer:innen).
1. Einführendes / Grundbegriffe
2. Aussagenlogik
3. Prädikatenlogik
4. Montague-Grammatik
5. Distributionelle Semantik
6. Grundlegende Frage: Was ist Bedeutung?
7. Semantische Darstellung im Bedeutung-Text-Modell (BTM) und bei Abstract Meaning Representation (AMR)
- J.J. Katz: Semantic Theory. New York 1972.
- A. Beckermann: Einführung in die Logik. Berlin 2003.
- F.v. Kutschera, A. Breitkopf: Einführung in die moderne Logik. Freiburg, München 2000.
16.4.2024: Semesterüberblick und Einführung zur Logik
18.4.2024: Übung zu Grundbegriffen der Logik
23.4.2024: Aussagenlogik (AL)
25.4.2024: Übung zur AL
30.4.2024 Prädikatenlogik (PL)
2.5.2024: Übung zur PL
Themen der Vorlesung
Literatur zur Einführung
Vorlesungs- und Übungsfolien