Start my eKVV Studieninformation Lernräume Prüfungsverwaltung Bewerbungs-/Statusportal Anmelden

230451 Formale Methoden 3: Unifikation (S) (SoSe 2010)

Inhalt, Kommentar

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.

Lehrende

Termine (Kalendersicht )

Rhythmus Tag Uhrzeit Format / Ort Zeitraum  

Zeige vergangene Termine >>

Klausuren

Datum Uhrzeit Format / Raum Kommentar

Zeige vergangene Klausurtermine >>

Fachzuordnungen

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  
Konkretisierung der Anforderungen
Keine Konkretisierungen vorhanden
Lernraum
Teilnehmer*innen
Automatischer E-Mailverteiler der Veranstaltung
Änderungen/Aktualität der Veranstaltungsdaten
Sonstiges