Ruprecht-Karls-Universität Heidelberg
Bilder vom Neuenheimer Feld, Heidelberg und der Universität Heidelberg
Siegel der Uni Heidelberg

Formale Semantik - Tutorium

Aktuelles

22.10.13 Die Tutorien beginnen ab der Woche vom 28.10.!
28.10.13 Das erste Tutorium vom 28.10 findet im Raum 23 (INF 325) statt!
29.10.13 Das erste Tutorium von Catarina am 30.10. findet im CIP-Pool statt!
04.11.13 Das Tutorium von Catarina am 06.11. muss leider ausfallen. Für einen Ersatztermin könnt ihr euch in diesem Doodle eintragen. Wenn ihr keinen Ersatztermin benötigt, tragt euch einfach nicht ein. Der Ersatztermin wird dann so früh wie möglich, spätestens jedoch Mittwoch Mittag bekannt gegeben.
06.11.13 Das Ersatztutorium von Catarina wird am Donnerstag, den 07.11.13, um 18 Uhr stattfinden. Wir treffen uns vorläufig im CIP-Pool und gehen dann eventuell in SR 24.
13.11.13 Die Punkteliste vom ersten Übungsblatt ist online. Einige haben keine oder nur eine schwer entzifferbare Matrikelnummer angegeben. Wenn eure Matrikelnummer fehlt oder falsch auf der Liste steht, würden wir euch bitten uns die korrekte Matrikelnummer zu mailen. Wer nicht will, dass seine Matrikelnummer online steht, kann uns stattdessen auch ein Pseudonym schicken.
13.12.13 Das Tutorium von Catarina muss nächste Woche leider wieder ausfallen. Tragt euch bitte wieder in dieses Doodle ein, falls ihr einen Ersatztermin haben wollt. Der Ersatztermin wird dann spätestens am Montag hier auf der Seite bekannt gegeben!
16.11.13 Das Ersatztutorium von Catarina wird Mittwoch Morgen, 9 Uhr im CIP-Pool stattfinden. Bitte kommt zahlreich!
19.12.13 Achtung! Über die Weihnachtsferien stellen wir zwei Übungsblätter online (sorry für all diejenigen, denen wir falsche Hoffnungen gemacht haben). Nummer 5 ist bis zum Dienstag (1. Tag) nach den Ferien abzugeben, Nummer 6 erst eine Woche später. Ihr habt damit jedoch die Möglichkeit, über die Ferien quasi vorzuarbeiten. Frohe Weihnachten!
15.01.13 Das Tutorium von Catarina muss am 29.01. leider wieder ausfallen. Da dies der letzte planmäßige Tutoriumstermin vor der Klausur ist, wäre ein früh gefundener Ersatztermin sinnvoll. Tragt euch also wieder in dieses Doodle ein!
25.01.14 Das Ersatztutorium von Catarina wird am Dienstag, dem 28.01. um 11:15 Uhr stattfinden. Wir treffen uns im CIP-Pool und gehen dann eventuell in SR24. Es könnte sein, dass ich etwas später komme, also bitte nicht alle wegrennen wenn ich mich 10 min verspäte!
29.01.14 Am 31.01. findet von 14-16 Uhr c.t. ein Zusatztutorium von Catarina und Andreas zur Klausurvorbereitung statt. Treffpunkt ist der CIP-Pool.
30.01.14 Wie bereits angekündigt werden Morgen, am Freitag den 31.01.14 um 14:15 Uhr Andreas und Catarina gemeinsam ein Zusatz-Tutorium halten. Wir treffen uns im Pool und gehen evtl. in SR24 oder in einen der Räume in 327 falls er nicht frei ist. Einige haben bereits Fragen eingeschickt, aber bis heute Abend könnt ihr noch mehr Fragen stellen. Viel Erfolg bei der Klausurvorbereitung!
10.04.14 Die Ergebnisse der Klausur sind online und können hier eingesehen werden.

Organisation

Termine

Montag 18:0019:30 SR 24 (INF 325) Andreas Bischoff
Mittwoch 16:1517:45 SR 2 (INF 327) Catarina Cramer

Abgabe

  • Die Blätter können ins Postfach "Formale Semantik" (INF 325, 1. OG) geworfen werden oder per E-Mail an semantik@cl.uni-heidelberg.de abgegeben werden.
  • Sofern nichts anderes angegeben wird, ist der Abgabetermin jeweils montags 16:15 Uhr.
  • Bitte gebt bei allen Abgaben immer eure Matrikelnummer an!
  • Dateiformate bei Abgabe per E-Mail: pdf-Format oder Textdatei. Dabei könnte euch diese Konvertierungsseite behilflich sein.
  • Bitte folgende Formalia bei der elektronischen Abgabe einhalten:
    • Betreff: [semantik ws13]Nachname, Vorname: Abgabe Übungsblatt Nr.
    • z.B.: [semantik ws13]Hanswurst, Joachim: Abgabe Übungsblatt 01
    • Dateiname: nachname-vorname-blattnummer.format
    • z.B.: hanswurst-joachim-01.txt

Fragen?

Eure Fragen beantworten wir auf der Wiki-Seite oder per E-Mail (s.o.).


Materialien

Foliensätze von Catarina (nur geringfügige Änderungen von Andreas' Folien):

Prädikatenlogik

Typenlogik

Lambda-Typenlogik

Modal- und Temporallogik, Intensionalogik

Diskursrepräsentationstheorie

Diskursrepräsentationstheorie 2

Punkte

Um zur Klausur zugelassen zu werden, müsst ihr mindestens 60% der möglichen Punktzahl erreicht haben.

Nicht erschrecken, wenn ihr abgegeben habt und 0 Punkte drin stehen. Dann ist es eventuell nur noch nicht korrigiert.

Der aktuelle Punktestand

Klausurergebnisse

zum Seitenanfang