Der Kurs "Formale Methoden 3: Unifikation" wendet sich vornehmlich, aber nicht ausschließlich an Studierende des BA Linguistik im Hauptfach, die das Profil "Sprache" oder das Profil "Texttechnologie" wählen.
Im Zentrum des Kurses stehen Attribut-Wert-Strukturen (AWS). Dies sind matrixartige Strukturen, die formal als gerichtete azyklische Graphen betrachtet werden können. Insbesondere die Relation der Subsumtion und die Operation der Unifikation zwischen/auf Atrribut-Wert-Strukturen werden eingeführt und die Anwendung in Unifikationsgrammatiken vorgestellt. Der Kurs schließt an den Kurs "Formale Methoden I" an.
Für einen Leistungsnachweis ist eine Klausur erfolgreich zu bearbeiten.
Frequency | Weekday | Time | Format / Place | Period | |
---|---|---|---|---|---|
weekly | Mi | 10-12 | C01-258 | 12.04.-23.07.2010 |
Date | Time | Format / Room | Comment about examination |
---|---|---|---|
Wednesday, July 14, 2010 | 10-12 | C02-228 | |
Wednesday, August 4, 2010 | 10-12 | C02-228 |
Hide passed examination dates <<
Degree programme/academic programme | Validity | Variant | Subdivision | Status | Semester | LP | |
---|---|---|---|---|---|---|---|
Linguistik / Bachelor | (Enrollment until SoSe 2011) | Kernfach | BaLin2 | 0/3 | |||
Texttechnologie / Bachelor | (Enrollment until SoSe 2011) | Nebenfach | BaLin2 | 0/3 |