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 25, Summer 27...
• V3A5 - Mathematische Logik (Bachelor) (also: F4A1 - Foundations in Algebra, Number Theory and Logic (Master)), Winter 25/26, Winter 27/28,...
• V4A7 - Advanced Mathematical Logic I (Master), Summer 24, Summer 26, Summer 28 ...
• V4A8 - Advanced Mathematical Logic II (Master), Winter 24/25, Winter 26/27 ...

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: 19.5.2024