Universität Leipzig    Institut für Informatik    Automaten und Sprachen    Karin Quaas
Wintersemester 2014/15
Übungen zu Logik, Vorlesung Prof. Maletti
Termine
Vorlesung: Freitags 11.15-12.45, HS 5.
Übungen: Mittwochs 9.15-10.45, SG 3-10, sowie Freitags 9.15-10.45, SG 3-12.
Tutorium: Freitag, 6.2.2015, 11 Uhr, HS 5.
Klausur: Dienstag, 17.2.2015, 13 Uhr, HS 3.
Nachklausur: Dienstag, 31.3.2015, 11 Uhr, Felix-Klein-Hörsaal. Bis dahin haben Sie auch die Gelegenheit, Ihre korrigierten Übungszettel in meinem Büro abzuholen. Danach werde ich alle nicht abgeholten Zettel entsorgen.
Vorlesungsskripte
Vorlesung 1: Folien  Handout
Vorlesung 2: Folien  Handout
Vorlesung 3: Folien  Handout
Vorlesung 4: Folien  Handout
Vorlesung 5: Folien  Handout
Vorlesung 6: Folien  Handout
Vorlesung 7: Folien  Handout
Vorlesung 8: Folien  Handout
Vorlesung 9: Folien  Handout
Vorlesung 10: Folien  Handout
Vorlesung 11: Folien  Handout
Vorlesung 12: Folien  Handout
Vorlesung 13: Folien  Handout
Übungsblätter
Serie 1
Serie 2
Serie 3
Serie 4
Serie 5
Serie 6
Serie 7
Resultate
Die Ergebnisse der Nachklausur vom 31.3.2015 finden Sie hier.
Die Ergebnisse der Klausur vom 17.2.2015 finden Sie hier. Der Notenspiegel sieht wie folgt aus: 1: 21, 2:24, 3:13, 4:11, 5:4.
Den aktuellen Punktestand finden Sie hier. Bitte beachten Sie, dass Sie nach 6 Übungsserien von den 60 erreichbaren Punkten die Hälfte haben müssen, um zur Klausur zugelassen zu werden. Desweiteren erhalten Sie 3 Bonuspunkte, wenn Sie mindestens 54 Punkte haben; 2 Bonuspunkte wenn Sie mindestens 45 Punkte haben; und 1 Bonuspunkt ab 36 Punkten.