Albert-Ludwigs-Universität Freiburg
Mathematisches Institut
Logo Abteilung für mathematische Logik
und Grundlagen der Mathematik
Universitätssiegel


Vorlesung "Logik für Studierende der Informatik" - WS 2010/2011

Prof. Dr. H. Mildenberger

Juan-Diego Caycedo

Hier ist ein Skript zur Vorlesung. Bitte schreiben Sie eine Mail an heike.mildenberger@math.uni-freiburg.de, wenn Sie Fehler finden.

Zeit und Ort der Vorlesung: Mittwochs und freitags von 10.15 - 11.45 in Saal 026 in der Georges-Köhler-Allee 101.
Freitage mit Vorlesungen: 22.10., 5.11., 19.11., 3.12., 17.12.2010, 21.1.2011, 4.2.2011

Die ersten Übungen sind in der zweiten Woche. Die ersten Blätter gibt es am 20.10.2010. In der zweiten Semesterwoche gibt es Saalübungen. Die Anwesenheit in den Übungen und das Lösen und Abgeben (allein, nicht zu mehreren) von 50 Prozent der Übungen sind erforderlich zur Zulassung zur Klausur. Die Note kommt allein aus der Klausur.
Die Klausur findet am 25.3.2010 von 10:00 Uhr bis 11:30 Uhr im Hörsaal (dort gibt es nur einen Hörsaal) im Rundbau in der Albertstr. 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.

Hier gibt es die ppt(x)-Dateien oder pdf-Dateien der handschriftlichen Beamertafelbilder:
Vorlesung 22.10.2010
Vorlesung 27.10.2010
Vorlesung 3.11.2010
Vorlesung 5.11.2010
Vorlesung 10.12.2010
Vorlesung 17.11.2010
Vorlesung 19.11.2010
am 24.11.2010: Datei verlorengegangen
Vorlesung 1.12.2010
Vorlesung 3.12.2010
Vorlesung 8.12.2010
Vorlesung 15.12.2010
Vorlesung 17.12.2010
Vorlesung 22.12.2010
Vorlesung 19.1.2011
Vorlesung 21.1.2011
Vorlesung 26.1.2011
Vorlesung 2.2.2011
Vorlesung 4.2.2011
am 9.2. Computer abgestürzt, Datei verloren

Die Hausaufgaben kann man hier runterladen: Die Homepage der Übungen.

Bitte, geben Sie Ihr Aufgabenblatt mit der Gruppennummer ab, für die Sie angemeldet sind (auf der Liste oder der Warteliste). Die Korrektur-Arbeit der Tutoren soll ja gerecht aufgeteilt werden. Falls Sie zu dem Übungtermin, für den Sie eingeschrieben sind, keine Zeit haben, können Sie zu einer anderen Gruppe gehen, geben Sie jedoch Ihr Blatt unter Ihrer ursprünglichen Gruppe ab.

Nachklausur: Der Termin ist am 29.8.2011 von 10 - 11:30 Uhr im Zimmer 404 in der Eckerstr, 1. Es gelten die gleichen Regeln wie bei der ersten Klausur: Ein beidseitig handbeschriebenes DinA4-Blatt mit Beschriftung Ihrer Wahl duerfen Sie mitbringen und benutzen. Sonst sind keine Unterlagen gestattet. Mobiltelefone duerfen waehrend der Klausur nicht benutzt werden. Papier wird gestellt. Bringen Sie Ihren Studentenausweis mit.

Klausureinsicht zur Nachklausur: Mittwoch, 14.9.2011, 10 - 11 Uhr, Zimmer 310, Eckerstr. 1.

Zuletzt geändert am 7.9.2011, H. M.