Mathematische Logik im Bachelorstudium Mathematik
Der Bonner Bachelor-Studiengang Mathematik verbindet eine breite Grundausbildung mit der Möglichkeit einer frühen Spezialisierung. Module aus dem Bereich der mathematische Logik können als Wahlpflichtveranstaltungen für das Gebiet A) Algebra, Zahlentheorie und Logik gewälht werden und auch zu einem Bachelor-Arbeitsprojekt weitergeführt werden.
Die Bachelor-Module Einführung in die Mathematische Logik (V2A2) und Mathematische Logik (V3A5) werden regulär im Sommer bzw. Winter ungerader Jahre angeboten.
Der nachfolgende schematische Studienplan für eine Spezialisierung in Logik gilt vor allem für Studienanfänger/innen der Jahrgänge 2021, 2023, usw. Es ist aber durchaus wünschenswert, dass die Module auch in anderen Studiensemestern als den angegebenen belegt werden. Ebenso ist eine Weiterführung zur Bachelorarbeit individuell möglich.
| 1 | [9]V1G1 Analysis I (4+4 SWS) |
[9]V1G3 Lineare Algebra I (4+4 SWS) |
[9]V1G5 Algorithmische Mathematik I (4+4 SWS) |
28 | |||||
|---|---|---|---|---|---|---|---|---|---|
| [1]S1G1 Seminar [3](2 SWS) |
|||||||||
| 2 | [9]V1G2 Analysis II (4+2 SWS) |
[9]V1G3 Lineare Algebra II (4+2 SWS) |
[9]V1G5 Algorithmische Mathematik II (4+2 SWS) |
30 | |||||
| 3 | [9]Analysis III oder Einführung (4+2 SWS) |
[9]Einführung (4+2 SWS) |
[9]Einführung (4+2 SWS) |
[6]Einführung in das Nebenfach | 33 | ||||
| 4 | [9]Einführung | [9] V2A2 Einf. Math. Logik (4+2 SWS) |
[12]Option | [18]Nebenfach | 27 - 33 |
89 | |||
| [8]Praktikum Math. Logik | |||||||||
| 5 | [9] V3A5 Math. Logik (4+2 SWS) |
[6]Hauptseminar Math. Logik | 27 - 33 |
||||||
| 6 | T3G1 Bachelorarbeit [12] |
S3G1 Begleitseminar zur Bachelorarbeit [6](4 SWS) |
27 - 33 |
||||||