Logik und modelltheoretische Semantik
Vorlesung + Tafelübung
SS 2011

Dr. Hans Leiß

Zeit und Raum:
TÜ Di 14-16, Schellingstr.3, S 227, VL Do 14-16, Schellingstr 4, H 537 (ab 9.6.2011)
Beginn: Di, 3.5.2011
Klausur: Di 26.7.2011, Schellingstr.3, S 227, 14-16 Uhr
Die Ergebnisse und Termin zur Einsichtnahme wurden über Email aus dem LFS bekanntgegeben.
Repetitorium (Shuqian Wu): Mo, 10.10 - Mi, 12.10.2011, jeweils 13-15 Uhr, Schellingstr.3, S 242
Wiederholungsklausur: Fr, 14.10.2011, 10-12 Uhr, Oettingenstraße 67, Raum 161
Die Ergebnisse und Termin zur Einsichtnahme wurden den Betroffenen über Email aus dem LFS bekanntgegeben. (30.11.2011) Da das anscheinend nicht richtig funktioniert hat, gibt's die Ergebnisse auch hier:
Bewertungsmaßstab: absolut (bis 40% des Möglichen, ohne optionale Aufgabe 10)
% 100 94 88 82 76 70 64 58 52 46 40
Punkte 55 51 48 45 42 38 35 32 29 25 22
Note 1.0 1.3 1.7 2.0 2.3 2.7 3.0 3.3 3.7 4.0
Ergebnisse:
1 2 3 4 5 6 7 8 9 S Aufgabe Note
7 3 4 8 3 4 10 6 10 55 Punkte
4 0 2 5 3 0 8 0 10 32 10387460 3.0
1 0 1.55 2 1 3 3 8 24.5 10051785 4.0
3 0 2 4.51 3 2 1.55.522.5 10053418 4.0
3 1.52 1.51 0 2 1 6 18 9009479 5.0
0 0 0 2 1 3 3 3 3.5 15.5 8052420 5.0
1.50 2 1 2 0 2 2 2.5 13 9009905 5.0
1.50 0.51.51 0 2 0 0 6.5 3013438 5.0
Wer Einsicht in die Korrektur seiner Klausur nehmen möchte, kann das am kommenden Mittwoch in meinen Sprechstunden 13-15 Uhr, Oe67, Raum C 110, tun.
Inhalt und Ziel der Veranstaltung
Voraussetzungen: Mathematische Grundlagen der Computerlinguistik (o.ä.)
Scheinkriterium: Abschlußklausur
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.
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, Mi 12.00
  1. Aufgabenblatt 1   
  2. Aufgabenblatt 2
    Folien mit "Rezepten" zum Vorgehen beim Beweisen.
  3. Aufgabenblatt 3
  4. Aufgabenblatt 4
  5. Aufgabenblatt 5
  6. Aufgabenblatt 6
  7. Aufgabenblatt 7
  8. Aufgabenblatt 8
Vorlesungsfolien (ohne Anfangsteil): Folien (Stand 21.Juli)



File translated from TEX by TTH, version 3.67.
On 3 Nov 2011, 10:41.