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 |
Termine | 09.11.2020 bis 22.02.2021 |
Zeit und Ort | Montag, 14:15-15:45, Online |
Commitment-Frist | tba |
Fachliche Voraussetzungen
Keine
Teilnehmerkreis
Für Studierende der Computerlinguistik (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 und 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 mit einem Ausblick auf weiterführende Logiksysteme und logikbasierte Formalismen für (computer-)linguistische Anwendungen.
Tutorien
- Montag 16:15-17:45, Online
- Mittwoch 16:15-17:45, Online
Kursübersicht
Seminarplan
Datum | Sitzung | Materialien |
Literatur
Wird in der Veranstaltung bekanntgegeben