Logik und modelltheoretische Semantik
Vorlesung + Tafelübung
SS 2013

Dr. Hans Leiß

Zeit und Raum:
Vorlesung Mi 16-18, Oettingenstr.67, 115, Beginn: Mi, 17.4.2013
Tafelübung Fr 10-12, Oettingenstr.67, 061,
Tutorium Do 16-18, Oettingenstr.67, C003
Tutorin: Shuqian Wu (Hausaufgabenkorrektur und Tutoriumsstunde)
Klausur: Mi 17.7.2013, Oettingenstr.67, 115, 16-18 Uhr
Zweitklausur: Mi 16.10.2013, Oettingenstr.67, Raum 161, 14-16 Uhr
Anmeldefrist im LSF: 1.10.-15.10.2013
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
  4. Aufgabenblatt 4
  5. Aufgabenblatt 5
  6. Aufgabenblatt 6
  7. Aufgabenblatt 7
  8. Aufgabenblatt 8
  9. Aufgabenblatt 9
  10. Aufgabenblatt 10
  11. Aufgabenblatt 11
Vorlesungsfolien Folien (Stand: Aug 14, 2013 )
(Alle Folien vom letzten Jahr: Folien SS 2012

File translated from TEX by TTH, version 3.67.
On 14 Aug 2013, 19:01.