Diese Seite ist aus Gründen der Barrierefreiheit optimiert für aktuelle Browser. Sollten Sie einen älteren Browser verwenden, kann es zu Einschränkungen der Darstellung und Benutzbarkeit der Website kommen!
zur Startseite
Suche:
www.lmu.de  |  Fakultät 16  |  Sitemap  |  LMU-Portal
print

Mathematische Logik II

Dozent: Helmut Schwichtenberg.

Termine

Vorlesung: Mo, Mi 08-10, Hörsaal A027. Beginn 19. April.
Übung: Fr 08-10, Hörsaal A027. Beginn 7. Mai.
Sprechstunde: Mi 13-14, Zimmer B415.

Skriptum

Die Vorlesung setzt die vom Wintersemester 2009/2010 fort. Der jeweils aktuelle Stand wird hier veröffentlicht: Endfassung

Übungen

Werden hier veröffentlicht. Übung 1, 2, 3 (mit Lösung von Aufgabe 12), 4, 5, 6, 7, 8, 9, 10.
Die Lösungen werden in der Übungsstunde präsentiert. Dort werden auch die korrigierten Übungsblätter verteilt. Sonst liegen diese in dem Rückgabekasten im 1. Stock. Abgabe bitte in der Vorlesung. Korrektoren:
Matthias Benkard (email: matthias.benkard [at] campus.lmu.de),
Michael Fuchs (email:gpmfuchs [at] gmx.de),
Kilian Klebes (email: kilian [at] fs.lmu.de).

Tutorium

Freitag 12-14, B004. Tutor: Basil Karadais (email: karadais [at] math.lmu.de)

Klausuren

Es wird eine Klausur geschrieben, und zwar am Freitag dem 23. Juli 2010, 08:00-10:00, im B052. Hilfsmittel (Bücher, Skripten etc.) sind in der Klausur nicht zugelassen. Schreibpapier wird gestellt. Bitte einen Lichtbildausweis mitbringen. Die Ergebnisse finden Sie hier.
Die korrigierten Klausuren können am Mittwoch, dem 4. August zwischen 14:30 und 15:00 im Raum B415 eingesehen werden. Eine Nachholklausur ist angesetzt für Freitag, den 15. Oktober 2010, 08:00-10:00, im B101 im Hauptgebäude. Die Teilnahme an der Nachholklausur ist nur möglich für Studenten, die die Klausur nicht bestanden haben oder krankheitsbedingt entschuldigt waren. Anmeldungen zur Nachholklausur bitte bis Mittwoch, den 11. August.

Scheine

Bedingungen für einen Übungsschein (für Diplom- und Lehramtsstudenten): (1) Mindestens die Hälfte der Übungspunkte, und (2) das Bestehen der Klausur. Diplom- und Lehramtsstudenten geben bitte ein ausgefülltes Scheinformular im Raum B415 oder B416 (Frau Bach) ab.

Literatur

Wird in der Vorlesung bekannt gegeben. Bedingt geeignet ist Dirk van Dalen, Logic and Structure, Springer-Verlag, sowie Oliver Deiser, Mengenlehre, Springer-Verlag.

Seminar

Im Sommersemester 2010 findet ein Seminar statt, das für Hörer dieser Vorlesung geeignet ist.

Minlog

Zum interaktiven Erzeugen von Beweisen kann man sich in dem Tutorium für den Beweisassistenten Minlog informieren. Minlog ist auf den CIP-Rechnern des Mathematischen Instituts installiert.

Helmut Schwichtenberg [Stand 5. August 2010]