 |
Abteilung für Mathematische LogikÜbungen zur Vorlesung Mathematische LogikDozent: Prof. Dr. Martin Ziegler (Raum 313)Assistent: Dr. Mohsen Khani (Raum 305) |
 SS2014 |
Tutoren
Gruppe 1: Dennis MüllerGruppe 2: Tobias Schandelmeier
Gruppe 3: Vera Gahlen
Übungsgruppenzeiten
Gruppe 1: Dienstag 10-12, Raum 414Gruppe 2: Donnerstag 16-18, Raum 218
Gruppe 3: Donnerstag 10-12, Raum 218
Bemerkungen
- Abgabe der Übungszettel in die Fächer gegenüber von Raum 305.
- Die Studierenden können die Aufgaben zusammen bearbeiten, müssen aber jeweils ihren eigenen Aufschrieb abgeben.
Klausur
Die Klausur findet am 25.August von 10 bis 13 Uhr in Weismann-Haus, Albertstraße 21a statt. Die Klausur dauert also DREI Stunden (nicht zwei Stunden wie bisher angekündigt).Nachklausur
Die Nachklausur findet am 13.Oktober von 10 bis 13 Uhr im Seminarraum 125 statt.Nachklausurergebnis
Die Nachklausur wurde korrigiert. Für Ihre Ergebnis und Nachklausureinsicht schreiben Sie mir eine Email bis 17 Oct.Klausureinsicht
Die Klausureinsicht ist am Dienstag, 2.Sep von 14:00 bis 16:00 Uhr in meinem Arbeitszimmer.Klausurbeispiele
Hier finden Sie Logikklausuren der vergangenen Semester. Ihre Klausur wird selbstverständlich sich auf den Kursinhalt dieses Semesters beziehen.- Nachklausur 2013
- Nachklausur 2011
- Nachklausur 2011 Lösungen
- Nachklausur 2007
- Nachklausur 1997
- Nachklausur Beispiel
Aufgaben
Aufgabe 1, Strukturen und Formeln, Abgabe am 5.5, vor 16:00 Uhr
Aufgabe 2, Strukturen, Formeln und Semantik, Abgabe am 12.5, vor 16:00 Uhr
Bemerkung 1. Syntax und Semantik.
Aufgabe 3, Allgemeingültige Formeln, Abgabe am 19.5, vor 16:00 Uhr
Aufgabe 4, Kompaktheitssatz, Abgabe am 26.5, vor 16:00 Uhr
Aufgabe 5, Der Sequenzenkalkül, Abgabe am 2.6, vor 16:00 Uhr
Aufgabe 6, Überprüfung, Abgabe am 16.6, vor 16:00 Uhr
Aufgabe 7, Der Sequenzenkalkül und Normalformen, Abgabe am 23.6, vor 16:00 Uhr
Aufgabe 8, Unterstrukturen, Resolutionsmethode, Interpolationssatz, Abgabe am 30.6, vor 16:00 Uhr
Aufgabe 9, Mengenlehre, Abgabe am 7.7, vor 16:00 Uhr
Aufgabe 10, die natürlichen Zahlen, Abgabe am 14.7, vor 16:00 Uhr
Aufgabe 11, Ordinalzahlen und Kardinalzahlen, Abgabe am 21.7, vor 16:00 Uhr
Aufgabe 12, Metamathematik von ZFC und Rekursionstheorie, Abgabe am 28.7, vor 16:00 Uhr