Logik und modelltheoretische Semantik
Vorlesung + Tafelübung
SS 2016

Dr. Hans Leiß

Zeit und Raum:
Vorlesung Di 14-16, Oettingenstr.67, 151, Beginn: Di, 12.4.2016
Tafelübung Do 16-18, Oettingenstr.67, 151, Beginn: Do, 14.4.2016
Tutorstunde: Di 12 - 14, Oettingenstr.67, Raum BU 101 [ab 10.5.2016]
Tutor: Martin Hermann (Hausaufgabenkorrektur und Tutoriumsstunde)
Modulprüfung: letzte Vorlesungswoche, Do 14.7.2015, Oettingenstr.67, Raum 151, 16-18 Uhr
Inhalt und Ziel der Veranstaltung
Voraussetzungen: Mathematische Grundlagen der Computerlinguistik
Literatur
R.Cann,R.Kempson,E.Gregoromichelaki: Semantics. An Introduction to Meaning in Language. Cambridge UP, 2009
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. Abgabe in der jeweiligen Übungsstunde; dort werden Lösungen der meisten Aufgaben besprochen.
  1. Aufgabenblatt 1     Lösungsblatt 1
  2. Aufgabenblatt 2     Lösungsblatt 2
  3. Aufgabenblatt 3 (Wegen Feiertag: Abgabe Di 3.5.2016)     Lösungsblatt 3
  4. Aufgabenblatt 4 (Abgabe Do 19.5. in der Übungsstunde; die findet statt, aber Di 17.5. ist vorlesungsfrei - hatte mich auf dem Aufgabenblatt vertan.)     Lösungsblatt 4
  5. Aufgabenblatt 5     Lösungsblatt 5
  6. Aufgabenblatt 6     Lösungsblatt 6
  7. Aufgabenblatt 7     Lösungsblatt 7
  8. Aufgabenblatt 8     Lösungsblatt 8
  9. Aufgabenblatt 9     Lösungsblatt 9
  10. Aufgabenblatt 10     Lösungsblatt 10
  11. Aufgabenblatt 11     Lösungsblatt 11
Sie sollten sich mit den Aufgaben wirklich befassen; wenn man es ersthaft probiert, sieht man, daß das meiste viel leichter ist, als es zuerst ausschaut.
Vorlesungsfolien Folien (Stand: Jul 12, 2016 , ein paar Folien zur Motivation der l-Terme ergänzt, und ein paar Beispiele zum intensionalen Fragment der Montague-Grammatik)
(Alle Folien vom letzten Jahr: Folien SS 2015

File translated from TEX by TTH, version 3.67.
On 12 Jul 2016, 09:39.