Kurt Gödel Research Center

Informationen für das Bachelor Studium

The information regarding the Mathematics Bachelor course is in German, as it is probably very hard to study this curriculum without knowledge of German.

Sie studieren Mathematik Bachelor und erwägen danach ein Master-Studium mit Schwerpunkt Logik

Im Vergleich zu anderen Master-Schwerpunkten brauchen Sie für den Logik-Schwerpunkt relativ wenig vom Stoff des Bachelor-Studiums, dafür müssen sie im Master-Studium dann eher mehr neuen Stoff lernen, um auf das nötige Niveau für eine Master-Arbeit zu kommen. Daher die folgenden Empfehlungen:

• Absolvieren Sie so früh wie möglich im Bachelor-Studium die Grundbegriffe der Mathematischen Logik, und/oder lesen Sie ein einführendes Buch zu dem Thema. Dadurch bekommen Sie einen besseren Eindruck, ob mathematische Logik für Sie interessant ist.
• Wenn Sie mit Schwerpunkt Logik studieren wollen, dann ist es empfehlenswert, zwei (Pflicht-)Lehrveranstaltungen des Master-Studiums in den Bachelor vorzuziehen: Einführung in die Logik und Axiomatische Mengenlehre 1. Diese LVAen können Sie sich zwar nicht im Bachelor-Studium anrechnen lassen, aber später im Master-Studium, entweder im Logik-Schwerpunkt oder in jedem anderen Schwerpunkt im Verbreiterungs-Modul. Das heißt, es wäre sinnvoller, mit dem Bachelor-Studium ein, zwei Semester länger zu brauchen und sich dafür schon während des Bachelors mit Logik zu beschäftigen. Achtung: Informieren Sie sich jedenfalls, ob durch ein längeres Bachelor-Studium Vergünstigungen (wie Familienbeihilfe, Stipendien, ...) gefährdet wären!
• Wenn Sie Schwerpunkt Logik studieren wollen, empfehlen wir Ihnen, beide Bachelor-Seminare ebenfalls bei uns betreuen zu lassen.

Bachelor-Seminare

Auch wenn Sie nicht planen, später ein Mathematik-Master-Studium mit Schwerpunkt Logik zu absolvieren, können Sie gerne bei uns Bachelor-Seminare betreuen lassen.

Organisation

Die Bachelor-Seminare (Seminar und Projektseminar) werden nicht am KGRC, sondern am Mathematik-Institut abgehalten. Wir betreuen einige Studierende bei diesen Seminaren mit, mit Themen aus der Mathematischen Logik und theoretischen Informatik und in Absprache mit den Lehrveranstaltungsleiterinnen und -leitern des Seminars.

D.h., wir betreuen die Erstellung der Seminar-Arbeit und den Seminarvortrag des Studenten oder der Studentin. Die Lehrveranstaltung selbst wird aber nicht von uns angeboten oder geleitet.

Um bei uns eine Seminar-Arbeit zu schreiben, müssen Sie jedenfalls die Vorlesung Grundbegriffe der Mathematischen Logik erfolgreich absolviert haben.

Bei Interesse wenden Sie sich bitte and uns oder an die Lehrveranstaltungsleiter des Bachelor(projekt)seminars.

Mögliche Themen

Es gibt eine PDF-Datei mit möglichen Themen. Diese Themen sind nur Beispiele:

• Wenn Sie ein bestimmtes Thema aus der Logik interessiert, das nicht in der Liste angeführt ist, können Sie gerne anfragen ob wir es betreuen können.
• Es ist keinesfalls garantiert, dass wir jedes dieser Themen betreuen.
• Es kann z.B. vorkommen, dass das jeweilige Thema schon an einen anderen Studierenden vergeben ist und wir das Thema erst nächstes Semester wieder vergeben.
• Die Betreuung erfolgt immer nur nach Maßgabe unser freien Lehr-Kapazität.

Die Schwierigkeitsgrade der Themen sind sehr unterschiedlich. Bei der Bachelorarbeit geht es aber in erster Linie darum, das Erarbeiten und klare Präsentieren mathematischer Inhalte zu erlernen, es sind also auch durchaus sehr einfache Themen zulässig.

Literatur

Wenn Sie mehr über mathematische Logik lesen wollen, können wir zum Beispiel folgende einführende Literatur empfehlen:

• G. S. Boolos, J. P. Burgess, R. C. Jeffrey, Computability and Logic
• H. B. Enderton, A Mathematical Introduction to Logic
• K. Kunen, The Foundations of Mathematics