Seminar: Logik und Algebra, WS 2017/18

Prof. Dr. C. L�h , D. Fauser , J. Witzig

Aktuelles

Am 13.12. findet das Seminar nicht statt. Die Vorträge verschieben sich dementsprechend um einen Termin nach hinten: Vortrag 8 ist am 20.12. etc.
Die Übersicht über die Vorträge ist online.
Anmeldung: In der Vorbesprechung (Dienstag, 18. Juli 2017, 14:00, M201) oder per email.
Die Vortragseinteilung wird per email bekanntgegeben (Ende der letzten Vorlesungswoche oder in der ersten Ferienwoche).
Das Seminar ist bereits (mehr als voll) belegt. Interessenten sollten sich daher auch nach alternativen Seminaren umsehen.
Die Vorlagen für Handouts/Ausarbeitungen sind online (s.u.); selbstverständlich können Sie Ihre Handouts/Ausarbeitungen auch anders erstellen/gestalten.
Die Themen dieses Seminars eignen sich auch für Zulassungsarbeiten und Bachelorarbeiten!

Seminar: Logik und Algebra

Die mathematische Logik bildet zusammen mit der Mengenlehre das Fundament, auf dem die moderne Mathematik aufgebaut ist. In diesem Seminar werden wir uns mit den Grundlagen der mathematischen Logik befassen und dabei klären, was überhaupt ein Beweis ist und welche Grenzen der Axiomatisierbarkeit und Beweisbarkeit es gibt.

Wir werden dabei insbesondere auch auf modelltheoretische Aspekte eingehen. Die Modelltheorie ist ein Teilgebiet der Logik und ermöglicht es zum Beispiel, verblüffende Sätze in der Algebra zu beweisen, ohne wirklich algebraische Argumente zu verwenden ...

Zeit und Ort

Mittwochs, 8:30--10:00, M 102

Material

Die �bersicht �ber alle Vortr�ge (und einige Hinweise zum Ablauf des Seminars).
LaTeX-Vorlage für Handouts: .tex, .pdf
LaTeX-Vorlage für Ausarbeitungen: .tex, .pdf
Hinweise zum Schreiben mathematischer Texte.
Noch mehr Hinweise zum Schreiben mathematischer Texte.

Voraussetzungen

Lineare Algebra I/II;
Kenntnisse in Algebra sind hilfreich (es genügt die Vorlesung Algebra im WS 2017/18 parallel zu besuchen).

Leistungsnachweis

Studienleistung: Halten eines Seminarvortrags; regelmäßige und aktive Teilnahme am Seminar; ein Handout von ein bis zwei Seiten, das die wichtigsten Aspekte des Vortrags und ein paar Übungsaufgaben enthält
Prüfungsleistung: Schriftliche Ausarbeitung des Vortrags (Abgabe spätestens eine Woche vor dem Vortrag)
Regelungen bei Studienbeginn vor WS 2015/16: s.o. Studienleistung und Prüfungsleistung. Die Note ist die Note des Vortrags.

Das Seminar kann im Bachelor Mathematik (BSem), im Lehramtsstudium (vertieft; LGySem) und im Masterstudium (MSem) eingebracht werden.
Aufbauend auf diesem Seminar können Themen für Abschlussarbeiten vergeben werden.

Letzte �nderung: 7. Dezember 2017