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.
Rhythmus | Tag | Uhrzeit | Format / Ort | Zeitraum | |
---|---|---|---|---|---|
wöchentlich | Mi | 10-12 | C01-258 | 12.04.-23.07.2010 |
Verstecke vergangene Termine <<
Datum | Uhrzeit | Format / Raum | Kommentar zum Prüfungstermin |
---|---|---|---|
Mittwoch, 14. Juli 2010 | 10-12 | C02-228 | |
Mittwoch, 4. August 2010 | 10-12 | C02-228 |
Verstecke vergangene Prüfungstermine <<
Studiengang/-angebot | Gültigkeit | Variante | Untergliederung | Status | Sem. | LP | |
---|---|---|---|---|---|---|---|
Linguistik / Bachelor | (Einschreibung bis SoSe 2011) | Kernfach | BaLin2 | 0/3 | |||
Texttechnologie / Bachelor | (Einschreibung bis SoSe 2011) | Nebenfach | BaLin2 | 0/3 |