Donnerstag, 12:30-14:00 Raum 2321.U1.72

Inhalte:

1. Sitzung: Kategorialgrammatik zwischen Logik, Grammatik und Algebra Folien
2. Sitzung: Applikative Kategorialgrammatik, Bar-Hillel Folien
3. Sitzung: Äquivalenz CFG – CG, Typentheorien Folien
4.  CCG – Kombinatoren Folien und Quellcode (Latex)
5. Sitzung: CCG – Statistisches Parsing Folien
6. Sitzung: CCG-Annotation im Webtool
7. Sitzung: fällt aus
8. Sitzung: Lambda Kalkül Folien
9. Sitzung: Semantik in (C)CG Folien
10. DRT, noch mehr Semantik Folien
11. Die Parallel Meaning Bank Folien

Weihnachten

11. Lambek und Substrukturelle Logik Folien
12. Substrukturelle Semantik Folien
13. Substrukturelle Theorien Folien
14. Klausurvorbereitung, Klausur Fragenkatalog

Hausaufgabe

Die HA bitte per mail an Kilian Evang und mich schicken. Abgabe gerne in Gruppen!

Hausaufgabe 1
Hausaufgabe 2 Musterlösung mit Quellcode (Latex)
Hausaufgabe 3
Hausaufgabe 4
Hausaufgabe 5 Musterlösung (teilweise)
Hausaufgabe 6 Musterlösung
Hausaufgabe 7 Musterlösung
Hausaufgabe 8 Musterlösung
Hausaufgabe 9

Formalia

Es wird regelmäßige Hausaufgaben geben, die für den BN bearbeitet werden müssen (nach dem bewährten Drei-Punkte-System).

Für die AP wird es eine Klausur geben, alternativ bieten wir mündliche Prüfung / Hausarbeit an.

Literatur

Es gibt einige Literatur zum Thema. Gern benutzte Bücher sind

• Glyn Morrill, Type Logical Grammar
• Mark Steedman, The Syntactic Process
• Marcus Kracht, Mathematics of Language (nur ein Kapitel über Kategorialgrammatik