Bilder vom Neuenheimer Feld, Heidelberg und der Universität Heidelberg

Lehrveranstaltungen
heiCO
Ressourcen	Fachschaft
Studien-FAQ	Technik-FAQ

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	Vorlesung / Übung
Sprache	Deutsch
Termine	25.04.22 bis 25.07.22
Zeit und Ort	Montags, 17:15–18:45 INF 306 / SR20
Commitment-Frist	tba

Bitte Beachten:

Wegen einer auswärtigen Verpflichtung des Dozenten findet die erste Sitzung der VL "Logische Grundlagen für die Computerlinguistik" (Montag 25.04., 17 bis 19 Uhr) ausschließlich online im heiCONF statt.
Damit alle interessierten Studierenden rechtzeitig alle notwendigen Informationen zur Teilnahme erhalten, ist eine vorherige Anmeldung erforderlich, entweder bis zum 20.04. über die normale Veranstaltungsanmeldung im moodle oder alternativ bis zum 21.4. abends über Email an Michael Herweg (herweg (at) cl.uni-heidelberg.de).

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
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

Literatur

Wird in der Veranstaltung bekanntgegeben