Albert-Ludwigs-Universität Freiburg

Fakultät für Mathematik und Physik

Logo
Mathematisches Institut

Abteilung für Mathematische Logik
Universitätssiegel


Übungen zur Vorlesung Logik für Studierende der Informatik (Wintersemester 2008/2009)

Dozent: M. Ziegler
Tutorium: B. Afshordel

Zum Übungsbetrieb: Die Übungen zur Vorlesung finden wöchentlich zu den unten aufgeführten Terminen statt. Jede Woche mittwochs wird in der Vorlesung ein Übungsblatt ausgeteilt. Dieses sollen Sie bearbeiten und am Mittwoch der darauffolgenden Woche vor Beginn der Vorlesung abgeben. Ihre Lösungen, die Sie einzeln abgeben, werden dann korrigiert und in den Übungsgruppen besprochen. Die Teilnahme an den Übungen ist verbindlich, die möglichen Übungstermine können Sie der folgenden Liste entnehmen. Die Einteilung in die Übungsgruppen findet man hier. Die Übungen beginnen ab dem 10. November.

Übungstermine:
Montag, 9-11 Uhr, SR 01-009/13, Geb. 101.
Dienstag, 11-13 Uhr, SR 01-018, Geb. 101.
Dienstag, 11-13 Uhr, SR 03-026, Geb. 051.
Donnerstag, 14-16 Uhr, SR 00-006, Geb. 051.
Donnerstag, 14-16 Uhr, SR 03-026, Geb. 051.

Leistungsnachweis. Den Leistungsnachweis erhalten Sie durch Bestehen der Klausur. Sie wird gegen Ende des Semesters stattfinden, der genaue Termin wird rechtzeitig bekanntgegeben. Wichtig: Zugelassen zur Klausur wird, wer mindestens 50 % der Aufgaben sinnvoll bearbeitet und regelmäßig an den Übungen teilgenommen hat. Letzteres beinhaltet auch die Anwesenheit bei den Übungen.

Wir freuen uns jederzeit über Anregungen und Kritik zur Vorlesung und zu den Übungen. Was soll man weiterhin so machen, was nicht und wie sonst?

Übungsblätter.
Blatt 1 (ps, pdf, dvi)
Blatt 2 (ps, pdf, dvi)
Blatt 3 (ps, pdf, dvi)
Blatt 4 (ps, pdf, dvi), korrigierte Fassung vom 22. November (Aufgabe 4 b) wurde geändert): (ps, pdf, dvi)
Hinweis: Die Bearbeitung der korrigierten Fassung von Blatt 4 statt der ursprünglichen ist freiwillig. Falls Sie die korrigierte Fassung bearbeiten, müssen Sie die ursprüngliche also nicht bearbeiten und umgekehrt.
Blatt 5 (ps, pdf, dvi)
Blatt 6 (ps, pdf, dvi)
Blatt 7 (ps, pdf, dvi)
Blatt 8 (ps, pdf, dvi)
Blatt 9 (ps, pdf, dvi)
Blatt 10 (ps, pdf, dvi)
Blatt 11 (ps, pdf, dvi)
Blatt 12 (ps, pdf, dvi) (letztes Übungsblatt)

Klausur. Die Klausur findet am 8. April 2009 (Mittwoch), von 9:00 bis 11:00 Uhr im Hörsaal Rundbau statt. Wir werden pünktlich anfangen und bitten Sie daher, ein paar Minuten vor Beginn zu erscheinen.

Klausureinsicht. Die Klausureinsicht findet am Donnerstag, den 7. Mai 2009, von 16:00 bis 18:00 Uhr in Raum 151, Eckerstraße 1, statt. Falls Sie diesen Termin nicht wahnehmen können, sind Sie gebeten, B. Afshordel per Email zu benachrichtigen. Gegebenenfalls wird ein zweiter Termin an dieser Stelle bekanntgegeben.

Fragestunde. Ab sofort findet eine Fragestunde zur Vorlesung statt. Sie wird von Adrian Dietz durchgeführt. Natürlich sind Fragen zum Stoff der Vorlesung jederzeit in der Vorlesung sowie in den Übungen willkommen und erwünscht! Die Fragestunde ist als zusätzliche Möglichkeit für die Studierenden gedacht, solche Fragen zu stellen. Sie können Adrian Dietz unter der Email AdrianDietz ät gmx.net erreichen.
Termin: Donnerstag, 16:15 Uhr und nach Vereinbarung.
Ort: Eckerstraße 1 (Mathematisches Institut), Raum 203.