Die ist die Homepage der Vorlesung
"Logik für Studierende der Informatik" im Wintersemester 2011.
Lehrpersonen
Heike Mildenberger.
Luca Motto Ros.
Homepage der Übungen
Hier gibt es die
Übungsblätter.
Skript
Hier ist ein
Skript zur Vorlesung in der Fassung vom 14.2.2012, mit noch etwas mehr
Komplexitätstheorie. Bitte schreiben Sie eine Mail an heike.mildenberger@math.uni-freiburg.de, wenn Sie Fehler finden.
Ort und Zeit
Mittwochs von 10.00 - 11.30 in Saal 026 in
der Georges-Köhler-Allee 101.
Übungen
1. Gruppe:
Di 10-12, Hörsaal 03-026 im Geb. 51, Georges-Köhler-Allee 101, Tutor: Anselm Hudde anselmhudde@gmx.de
2. Gruppe: Di 10-12 SR 00-034 im Geb. 051, Georges-Köhler-Allee 101, Tutor: Pascal Raiola pascal-raiola ät gmx.de.
3. Gruppe: Mo 12-14, Geb 101, Georges-Köhler-Allee 101, Tutor: Jan Leike jan.leike@venus.uni-freiburg.de.
4. Gruppe: Di 12-14, Geb 101, Georges-Köhler-Allee 101, Tutor: Zim Zander tim.zander@saturn.uni-freiburg.de.
Zulassung zur Klausur
Die Anwesenheit in den Übungen, mindestens einmal Vorrechnen und das Lösen und Abgeben
(allein, nicht zu mehreren) von 50 Prozent
der Übungen sind erforderlich zur Zulassung zur Klausur. Die Lösungen sind mittwochs
vor der Vorlesung auf
das Pult des Saals zu legen. Sie können Ihre handschriftlichen
Lösungen auch einscannen und per E-Mail an den Tutor Ihrer Gruppe schicken.
Mit dem Computer geschriebene Lösungen sind nicht gestattet. (Diese kann man zu leicht vervielfältigen.)
Die Note kommt allein aus der Klausur.
Klausur
Die Klausur findet am 28. März 2012 von 10:30 bis 12:00 Uhr im Rundbau
Albertstraße 21 statt.
Als Hilfsmittel dürfen Sie (jeder für sich alleine) ein
handgeschriebenes beidseitig beschriebenes DinA4-Blatt
mit Beschriftung Ihrer Wahl mitbringen und benutzen.
avi-, pdf- und pptx-Dateien der Vorlesungen
Vorlesung1.avi 26.10.2011.
Vorlesung1.pdf 26.10.2011.
Vorlesung1.pptx 26.10.2011.
Vorlesung2.avi 2.11.2011.
Vorlesung2.pdf 2.11.2011.
Vorlesung2.pptx 2.11.2011.
Vorlesung am 16.11.2011: Tag der offenen Tür. Im Saal gab es keine Aufzeichnungsmöglichkeit.
Vorlesung4.avi 23.11.2011.
Vorlesung4.pdf 23.11.2011.
Vorlesung5.pptx 30.11.2011.
Vorlesung5.avi 30.11.2011.
Vorlesung5.pdf 30.11.2011.
Vorlesung6.pptx 7.12.2011.
Vorlesung6.avi 7.12.2011.
Vorlesung6.pdf 7.12.2011.
Vorlesung7.pptx 14.12.2011.
Vorlesung7.pdf 14.12.2011.
Vorlesung8.pptx 21.12.2011.
Vorlesung8.avi 21.12.2011.
Vorlesung8.pdf 21.12.2011.
Vorlesung9.pptx 11.1.2012.
Vorlesung9.avi 11.1.2012.
Vorlesung9.pdf 11.1.2012.
Vorlesung10.pptx 18.1.2012.
Vorlesung10.avi 18.1.2012.
Vorlesung10.pdf 18.1.2012.
Vorlesung11.pptx 25.1.2012.
Vorlesung11.avi 25.1.2012.
Vorlesung11.pdf 25.1.2012.
Vorlesung12.pptx 1.2.2012.
Vorlesung12.avi 1.2.2012.
Vorlesung12.pdf 1.2.2012.
Vorlesung13.pptx 8.2.2012.
Vorlesung13.avi 8.2.2012.
Vorlesung13.pdf 8.2.2012.
Vorlesung14.pptx 15.2.2012.
Vorlesung14.avi 15.2.2012.
Vorlesung14.pdf 15.2.2012.
Um die AVI-Dateien abzuspielen, benötigt man den TSCC-Codec,
der je nach Betriebssystem zu kopieren / installieren ist.
Zusätzliche Übungen zur Sprache der ersten Stufe
Die folgenden Aufgaben sind nicht zum Abgeben, sondern zum Üben.
Blatt 7 vom Wintersemester 2010/11
Blatt 8 vom Wintersemester 2010/11
Blatt 9 vom Wintersemester 2010/11
Weihnachts-Blatt vom Wintersemester 2010/11
Blatt 10 vom Wintersemester 2010/11
Blatt 11 vom Wintersemester 2010/11
Blatt 12 vom Wintersemester 2010/11
Fragestunde am 23.3.2012 um 14:00 Uhr
Herr Leike und Herr Raiola bieten eine Fragestunde an im Raum
SR 00-010/14, Geb. 101.
Klausureinsicht
Die Klausureinsicht findet am 25. April 2012 von 13:00 bis 14:00 Uhr
in Raum 310 in der Eckerstr. 1 statt.
Nachklausur und Klausureinsicht
Die Nachklausur ist am 19.9.2012 um 10.30 Uhr im SR 404 in der Eckerstr. 1.
Die Klausureinsicht findet am 9.10.2012 von 13:00 bis 14:00 Uhr
in Raum 310 in der Eckerstr. 1 statt.
