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.
Rhythmus | Tag | Uhrzeit | Format / Ort | Zeitraum |
---|
Modul | Veranstaltung | Leistungen | |
---|---|---|---|
23-CL-BaCL1 Einführung in die Computerlinguistik | Logische Grundlagen | Studienleistung
|
Studieninformation |
23-LIN-BaLin5 Linguistik Orientierungsmodul | Linguistik Orientierungsveranstaltung | Studienleistung
|
Studieninformation |
23-LIN-BaLin5_a Linguistik Orientierungsmodul | Lehrveranstaltung 1 | Studienleistung
|
Studieninformation |
Lehrveranstaltung 2 | Studienleistung
|
Studieninformation | |
23-TXT-BaCL2 Methoden der Computerlinguistik und Texttechnologie | Formale Methoden 2 | Studienleistung
|
Studieninformation |
23-TXT-BaCL2a Methoden der Computerlinguistik (für Studierende mit Kernfach Linguistik) | Formale Methoden 2 | Studienleistung
|
Studieninformation |
Die verbindlichen Modulbeschreibungen enthalten weitere Informationen, auch zu den "Leistungen" und ihren Anforderungen. Sind mehrere "Leistungsformen" möglich, entscheiden die jeweiligen Lehrenden darüber.
Zu dieser Veranstaltung existiert ein Lernraum im E-Learning System. Lehrende können dort Materialien zu dieser Lehrveranstaltung bereitstellen: