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 |