Seminar: Logik und Algebra, WS 2017/18

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

Aktuelles

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

Voraussetzungen

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

Leistungsnachweis

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: 20. Juli 2017

Valid HTML 4.01 Transitional Valid CSS!