Seminar: Logik getypter Merkmalstrukturen
SoSe 2008 (Ankündigung)
Organisatorisches
Dozentin: Wiebke Petersen
Sitzung: Do. 11-13; 23.31 05.22;
Semesterapparat: Sekretariat für Allgemeine Sprachwissenschaft;
Sprechstunde: Do. 14-15; 23.21.04.45;
Telefon: 81-15295
geschützter Bereich und Wiki
Literaturempfehlung
- Carpenter, B.: The Logic of Typed Feature Structures. Cambridge University Press, 1992.
- Keller, B.: Feature Logics, Infinitary Descriptions and Grammar. CSLI, 1993.
- Penn, G.: The Algebraic Structure of Attributed Type Signatures. PhD thesis, Carnegie Mellon University, 2000.
- Rounds, W. C.: Feature logics. In J. van Benthem & A. ter Meulen (eds.): Handbook of Logic and Language. Elsevier, 1997.
- Shieber, S. M.: An Introduction to Unification-Based Approaches to Grammar. CSLI, 1986..
Sitzungen
| Datum | Thema | Literatur |
|---|---|---|
| 10.04.2008 | Vorbesprechung | |
| 17.04.2008 | Informelle Einführung zu ungetypten und getypten Merkmalstrukturen | Petersen: Merkmalstrukturen  (speziell 1.2.2 und 1.2.3) |
| 24.04.2008 | Techniken zum Lesen mathematischer Texte | Carpenter 1992 Kapitel 1 und 2 (bis Seite 17) |
| 01.05.2008 | Feiertag | |
| 08.05.2008 | QType I (in Raum CIP-Pool 23.21.04.64) | |
| 15.05.2008 | QType II (in Raum CIP-Pool 23.21.04.64) | |
| 22.05.2008 | Feiertag | |
| 29.05.2008 | Merkmalstrukturen | Carpenter 1992 Kapitel 3 |
| 05.06.2008 | Abstrakte Merkmalstrukturen und Unifikation | Carpenter 1992 Kapitel 3 |
| 12.06.2008 | Appropriatenessbedingungen und Wohlgetyptheit | Carpenter 1992 Kapitel 6 |
| 19.06.2008 | ||
| 26.06.2008 | ||
| 03.07.2008 | ||
| 10.07.2008 |
Zum Betrachten der Dateien benötigen sie Acrobat Reader.