 |
|
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 |
|---|
| Datum | Uhrzeit | Format / Raum | Kommentar |
|---|
Zeige vergangene Klausurtermine >>
| 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 | |
|---|---|
| Kein Lernraum vorhanden | |
| Teilnehmer*innen | |
|---|---|
|
|
| Automatischer E-Mailverteiler der Veranstaltung | |
|---|---|
|
|
| Änderungen/Aktualität der Veranstaltungsdaten | |
|---|---|
|
|
| Sonstiges | |
|---|---|
|
|