|
Logik und Algebra SemesterWiSe 2017 / 18 Dozent Clara Löh Veranstaltungsart Seminar Inhalt 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 ... Empfohlene Vorkenntnisse Lineare Algebra I; Kenntnisse in Algebra sind hilfreich (es genügt, wenn die Vorlesung im WS 17/18 parallel besucht wird). Termin Mi, 8:30--10:00 Ort M 102 Homepage zur Veranstaltung http://www.mathematik.uni-r.de/loeh/teaching/algsem_ws1718/ (Disclaimer: Dieser Link wurde automatisch erzeugt und ist evtl. extern) Anmeldung
Die Vortragsthemen werden von sehr unterschiedlicher Schwierigkeit sein; einzelne Vorträge sind als Proseminarvorträge geeignet! Aufbauend auf dieses Seminar können auch Themen für Bachelor- und Zulassungsarbeiten vergeben werden. Module BSem, MSem, LA-GySem ECTS Siehe Modulkatalog. MV und Nebenfach: 4,5 LP bei Studienbeginn ab WS 15/16, 6 LP bei Studienbeginn vor WS 15/16. Als Proseminar: 3 ECTS. |