
Logische Grundlagen für die Computerlinguistik
Kursbeschreibung
Studiengang | Modulkürzel | Leistungs- bewertung |
---|---|---|
BA-2010 | FF-L | 6 LP |
ÜK | - | 2 LP (nicht für CL) |
Dozenten/-innen | Michael Herweg |
Veranstaltungsart | |
Sprache | Deutsch |
Erster Termin | 17.04.2023 |
Zeit und Ort | Montags, 10:15-11:45, INF 328 / SR 25 |
Einzeltermine | |
Freitag, 19.05.23, 13:15-16:45 | |
Freitag, 16.06.23, 13:15-16:45 | |
Freitag, 23.06.23, 13:15-16:45 | |
jeweils in INF 328 / SR 25 | |
Commitment-Frist | tbd. |
Teilnehmerkreis
Für Studierende der Computerlinguistk (mind 25%). Bachelor-Studierende anderer Fächer können den Kurs im Rahmen einer ÜK-Veranstaltung für 2 LP besuchen.
Leistungsnachweis
- Regelmäßige Bearbeitung der Aufgaben
- Teilnahme am Tutorium
- Bestehen der Abschlussklausur
Inhalt
Fundierte Logikkenntnisse sind unverzichtbar für Anwendungen in der Computerlinguistik und theoretischen Linguistik. Dies gilt für die gängigen Beschreibungsformate in nahezu allen (computer-)linguistischen Teildisziplinen (Syntax, Semantik, Morphologie, Phonologie, ...) ebenso wie für sprachtechnologische Implementierungen. Der Kurs bietet eine Einführung in die Logik und legt dabei besonderen Wert auf die praktische Einübung grundlegender logischer Methoden und Techniken. Behandelt werden, nach einer Auffrischung grundlegender mathematischer Konzepte, Syntax und Semantik der Aussagenlogik und der Prädikatenlogik 1. Stufe sowie weiterführende Logiksysteme und logikbasierte Formalismen für (computer-)linguistische Anwendungen (u.a. Typenlogik, Lambda-Kalkül, Zeitlogik).
Kursübersicht
Seminarplan
Datum | Sitzung | Materialien |
MO 17.04.2023 10-12 | Organisatorisches und Einführung | |
MO 24.04.2023 10-12 | Aussagenlogik: Lexikon & Syntax | |
MO 08.05.2023 10-12 | Aussagenlogik: Semantik | |
MO 15.05.2023 10-12 | Aussagenlogische Widerlegungsverfahren | |
FR 19.05.2023 13-17 | Aussagenlogik: Kalkül des Natürlichen Schließens | |
MO 22.05.2023 10-12 | Prädikatenlogik: Lexikon & Syntax | |
MO 12.06.2023 10-12 | Prädikatenlogik: modelltheoretische Semantik | |
FR 16.06.2023 13-17 | Typenlogik & Lambda-Kalkül | |
MO 19.06.2023 10-12 | Grundzüge der Intensionalen Logik | |
FR 23.06.2023 13-17 | Zeitlogik | |
MO 26.06.2023 10-12 | Raumlogik & zeitliche und räumliche Annotationsschemata | |
MO 17.07.2023 10-12 | Vollständigkeit & Korrektheit oder Neuronale Modelle für logische Funktionen | |
MO 24.07.2023 10-12 | - Klausur - |
Literatur
Wird zu Beginn des Semesters bekannt gegeben.