Logik und modelltheoretische Semantik
Vorlesung + Tafelübung
SS 2012

Dr. Hans Leiß

Zeit und Raum:
VL Mi 16-18, Oettingenstr.67, U127, TÜ Do 16-18, Oettingenstr.67, 115
Beginn: Mi, 18.4.2012
Klausur: Mi 18.7.2012, Oettingenstr.67, U127, 16-18 Uhr
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, donnerstags
  1. Aufgabenblatt 1
  2. Aufgabenblatt 2
  3. Aufgabenblatt 3
  4. Aufgabenblatt 4 (Abgabe Mi, 16.5., da Do 17.5. ein Feiertag ist)
  5. Aufgabenblatt 5
  6. Aufgabenblatt 6 (Abgabe Mi, 6.7., da Do 7.7. ein Feiertag ist)
  7. Aufgabenblatt 7
  8. Aufgabenblatt 8
  9. Aufgabenblatt 9
  10. Aufgabenblatt 10
  11. Aufgabenblatt 11
Vorlesungsfolien Folien (Stand: Jul 18, 2012 )


File translated from TEX by TTH, version 3.67.
On 18 Jul 2012, 15:16.