Vorlesung Logische Grundlagen (SS 2011)

gelesen von Prof. Dr. Linus Kramer

Übungen gemeinsam mit Dr. Immanuel Halupczok.

Links zum Vorlesungsverzeichnis: Vorlesung, Übungen

Zeit/Ort:

Die Vorlesung findet mittwochs, von 12:00 Uhr bis 14:00 Uhr (c.t.) im Raum M2 statt.

Begleitend zur Vorlesung finden Übungen statt, deren Besuch dringend empfohlen wird.

Es gibt die folgenden Übungsgruppen:

Nr	Termin	Raum	Tutor	Briefkasten-Nr
1	Mi, 8 Uhr	SR 1B	Sandra	97
2	Mi, 10 Uhr	SR 1A	Merle	94
3	Mi, 10 Uhr	SR N3	Daniel	93
4	Mi, 14 Uhr	SR 1A	Irene	100
5	Do, 12 Uhr	SR 1D	Irene	100

Voraussetzungen:

Solide Kenntnisse der Anfängervorlesungen des ersten Semesters.

Inhalt:

In der Vorlesung geht es um die Grundlagen der Mathematik - und zwar um die Teile, die jeder Studierende in der Mathematik kennen und können muss: Mengen, Zahlen, Unendlichkeit sowie einfache mathematische Logik. Wir werden uns mit Mengenlehre beschäftigen, mit der Konstruktion der natürlichen Zahlen sowie mit Ordinal- und Kardinalzahlen. Weiter geht es um Beweismethoden wie das Zornsche Lemma und Konstruktionsverfahren wie Ultraprodukte.

Literatur:

Peter Cameron, Sets, logic and categories
Paul Halmos, Naive set theory
Ralf Schindler, Logische Grundlagen der Mathematik
Martin Ziegler, Mathematische Logik

Es wird einen Semesterapparat zur Vorlesung in der Bibliothek geben.

Klausur:

Die Klausur findet am Mittwoch 20.07.2011 von 12:00 bis 14:00 im M1, M2, M3 (alphabetisch nach Nachnamen geordnet) statt.

Die aktuellen Ergebnisse der ersten Klausur finden Sie hier.

Am Mittwoch, 31.8. 10 - 12 Uhr findet im M5 die Klausureinsicht statt. Bitte bringen Sie Ihren Studentenausweis mit. Die Klausuren können eingesehen, aber nicht mitgenommen werden.

Die Nachklausur findet am Freitag 30.09.2011 von 10:00 bis 12:00 im M1 statt. Zugelassene Hilfsmittel: ein handbeschriebenes Blatt DIN A4. Elektronische Geräte wie Handys, Taschenrechner usw. sind nicht zugelassen, bitte lassen Sie die zu Hause oder in den Schließfächern. Papier stellen wir zur Verfügung.

Die aktuellen Ergebnisse der zweiten Klausur finden Sie hier. Die Klausuren können bei Herrn Dr. Halupczok, Zimmer 813, am Mittwoch 19.10.2011 zwischen 11 und 12 Uhr eingesehen werden. Wenn Sie da verhindert sind, dann vereinbaren Sie bitte einen Termin.

Übungsblätter:

Vorlesungsnotizen:

Zur Nachbereitung der Vorlesung können Sie hier meine eigenen handschriftlichen Notizen einsehen. Es handelt sich dabei aber nicht um ein Vorlesungsskript.