Teaching
Winter 2023/24
- Mathematische Logik / Mathematical Logic (V3A5/F4A1) (Prof. Dr. Philipp Hieronymi)
Mondays 14:15-16:00, Wednesdays 12:15-14:00, We10 Zeichensaal - Hauptseminar Mathematische Logik - Das Auswahlaxiom (S2A2) (Dr. Regula Krapf)
Wednesday 10:15-12:00, SemR 0.007 -
Hauptseminar Angewandte Mathematische Logik (S2A4) (Prof. Dr. Peter Koepke)
Thursdays 16:15-18:00, SemR 0.006 - Practical Project in Mathematical Logic (P4A1)/ Praktikum Mathematische Logik (P2A1) - Formalized Mathematics in Lean (Prof. Dr. Floris van Doorn)
Tuesdays 16:15-18:00, Fridays 10:15-12:00, PC-Pool IAM, Endenicher Allee 60, Nebengebäude - Practical Project in Mathematical Logic (P4A1)/ Praktikum Mathematische Logik (P2A1) (Prof. Dr. Peter Koepke)
by appointment/nach Vereinbarung via koepke@math.uni-bonn.de - Oberseminar Logik (Prof. Dr. Philipp Hieronymi)
Mondays 16:30-18:00, N0.003 Neubau - Begleitseminar (S3G1)/Master thesis seminar (S5G1) (Prof. Dr. Philipp Hieronymi)
Tuesdays 10:15-12:00, N.008 Neubau
A list of lectures in past
semesters
Last updated: Aug 16, 2023