Gegenstand dieser Veranstaltung sind Aussagen- und Prädikatenlogik. Behandelt werden in beiden Fällen die Syntax und Semantik sowie der Folgerungsbegriff. Voraussetzung sind lediglich Kenntnisse, wie sie im Rahmen der Veranstaltung Formale Methoden vermittelt werden. Alles Weitere wird zur Verfügung gestellt.
Es existiert eine große Literaturauswahl zum Gegenstand. Das veranstaltungsbegleitende Skript deckt allerdings alle behandelten Themen und Inhalte ab.
Frequency | Weekday | Time | Format / Place | Period |
---|
Module | Course | Requirements | |
---|---|---|---|
23-CL-BaCL1 Einführung in die Computerlinguistik | Logische Grundlagen | Study requirement
|
Student information |
23-LIN-BaLin5 Linguistik Orientierungsmodul | Linguistik Orientierungsveranstaltung | Study requirement
|
Student information |
23-LIN-BaLin5_a Linguistik Orientierungsmodul | Lehrveranstaltung 1 | Study requirement
|
Student information |
Lehrveranstaltung 2 | Study requirement
|
Student information | |
23-TXT-BaCL2 Methoden der Computerlinguistik und Texttechnologie | Formale Methoden 2 | Study requirement
|
Student information |
23-TXT-BaCL2a Methoden der Computerlinguistik (für Studierende mit Kernfach Linguistik) | Formale Methoden 2 | 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.
A corresponding course offer for this course already exists in the e-learning system. Teaching staff can store materials relating to teaching courses there: