Arbeitsgruppe Geometrie, Topologie und Gruppentheorie

Mathematisches Institut, Universität Münster

Deutsch English

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 TerminRaum TutorBriefkasten-Nr
1Mi, 8 Uhr SR 1B Sandra 97
2Mi, 10 Uhr SR 1A Merle 94
3Mi, 10 Uhr SR N3 Daniel 93
4Mi, 14 Uhr SR 1A Irene 100
5Do, 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:

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.

Kapitel 1
Kapitel 2
Kapitel 3
Kapitel 4
Zuletzt geändert: 11.10.11, 18:33:53