Logik und modelltheoretische Semantik
Vorlesung + Tafelübung
SS 2015

Dr. Hans Leiß

Zeit und Raum:
Vorlesung Di 14-16, Oettingenstr.67, 151, Beginn: Di, 14.4.2015
Tafelübung Do 16-18, Oettingenstr.67, BU101, Beginn: Do, 16.4.2015
Tutorium Di 18-20, Oettingenstr.67, Raum 033 [ab 2.6. in Raum 169]
Tutor: Christian Meyer (Hausaufgabenkorrektur und Tutoriumsstunde)
Modulprüfung: letzte Vorlesungswoche, Do 16.7.2015, Oettingenstr.67, Raum BU101, 16-18 Uhr

Ergebnisse : siehe LSF

Zweitprüfung: erste Woche WiSe 2015/16, Fr 16.10.2015, 14-16 Uhr, Raum 157, Oettingernstr.67

Drittprüfung: WiSe 2015/16, Fr 15.1.2016, 16-18 Uhr, (bewilligter) Raum: 057, Oettingernstr.67

Inhalt und Ziel der Veranstaltung
Voraussetzungen: Mathematische Grundlagen der Computerlinguistik
Literatur
R.Montague: The Proper Treatment of Quantification in Ordinary English. pp. 247-270 in: R.Thomason (Ed.) Formal Philosophy. Selected Papers of Richard Montague. Yale University Press, 1974.
D.Dowty, R.E.Wall, S.Peters: Introduction to Montague Grammar. D.Reidel, 1978.
P.Blackburn, J.Bos: Representation and Inference for Natural Language. A First Course in Computational Semantics. Volume II. Working with Discourse Representation Structures. Univ.Saarbrücken, 1999. (Kap. 1+2)
H.Leiß: Mathematische Grundlagen der Computerlinguistik Teil II Vorlesungsskript SS 2003, CIS. (Kap.1, 4-8)
H.Leiß: Semantik I. Proseminar SS 2004, CIS. (Implementierung Montague-Semantik)
Übungsaufgaben: Kommen hier möglichst wöchentlich
  1. Aufgabenblatt 1
  2. Aufgabenblatt 2
  3. Aufgabenblatt 3 (Wegen Feiertag: Abgabe Di 19.5.)
  4. Aufgabenblatt 4    
  5. Aufgabenblatt 5    
  6. Aufgabenblatt 6 Da Do 4.6. ein Feiertag ist, können wir die Lösung von Blatt 5 nicht dort besprechen; studieren Sie deshalb die Musterlösung (oben). Für Blatt 4 gibt es eine Musterlösung, da ich die Lösung schon einer Studentin gegeben hatte, in der Annahme, sie habe die Aufgabe bearbeitet.
    Mit dem Tutor bin ich der Meinung, es bleibt beim bisherigen Vorgehen, daß Lösungen nur die bekommen, die einen Lösungsversuch abgegeben haben. Das soll ein kleiner Zusatzanreiz sein, sich mit den Aufgaben wirklich zu befassen; wenn man es ersthaft probiert, sieht man, daß das meiste viel leichter ist, als es zuerst ausschaut.
  7. Aufgabenblatt 7
  8. Aufgabenblatt 8
  9. Aufgabenblatt 9
Vorlesungsfolien Folien (Stand: Jul 10, 2015 )
(Alle Folien vom letzten Jahr: Folien SS 2014

File translated from TEX by TTH, version 3.67.
On 10 Jul 2015, 12:42.