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.  CCG – Kombinatoren Folien und Quellcode (Latex)
6. Sitzung: CCG – Statistisches Parsing Folien
7. Sitzung: CCG-Annotation im Webtool
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

12. Lambek und Substrukturelle Logik Folien (und substrukturelle Semantik Folien)
13. Substrukturelle Theorien Folien
14. Klausurvorbereitung, Klausur Fragenkatalog, und Fragenkatalog mit Musterlösungen

Hausaufgabe

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

Hausaufgabe 1
Hausaufgabe 2 und eine Musterlösung
Hausaufgabe 3
Hausaufgabe 4
Hausaufgabe 5
Hausaufgabe 6
Hausaufgabe 7 und eine Musterlösung
Hausaufgabe 8

 

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