Studying mathematical logic at Bonn

The following sequence of logic lectures is offered every two years:

• V2A2 - Einführung in die Mathematische Logik (Bachelor) Summer 23, 25, ...
• V3A5 - Mathematische Logik (Bachelor) (also: F4A1 - Foundations in Algebra, Number Theory and Logic (Master)), Winter 23/24, 24/25, ...
• V4A7 - Advanced Mathematical Logic I (Master), Summer 24, 26 ...
• V4A8 - Advanced Mathematical Logic II (Master), Winter 24/25, 25/26 ...

These lectures are supplemented by seminars, advanced topics courses and practical projects:

• S2A2 - Hauptseminar Mathematische Logik (Bachelor)
• S2A4 - Hauptseminar Angewandte Mathematische Logik (Bachelor)
• S3G1 - Bachelor Thesis Seminar
• P2A1 - Praktikum Mathematische Logik (Bachelor)
• V5A7 - Advanced Topics in Mathematical Logic (Master)
• V5A8 - Selected Topics in Mathematical Logic (Master)
• S4A4 - Graduate Seminar on Logic (Master)
• S4A6 - Graduate Seminar on Applied Logic (Master)
• S5G1 - Master Thesis Seminar
• P4A1 - Practical Project in Mathematical Logic (Master)

For information for prospective bachelor students, see our bachelor program website.

For information for prospective master students, see our master program website.

For information for prospective PhD students, see our PhD program website.

For information on the current courses, see our teaching website.

Last update: 6.2.2023