Warning! The directory is not yet complete and will be amended until the beginning of the term.

Basic courses, specialization "Logic"

non-compulsory Proseminars (PS) may be counted as credits in further electives, if not used as alternative compulsory in the seminar module

250089 SE 4 ECTS [ en ] Logic Colloquium

Aschenbrenner, Th 15:00-16:30 (12×)
250102 SE 4 ECTS [ en ] Research Seminar in Set Theory

Fischer, Th 11:30-13:00 (12×)
250153 VO 5 ECTS [ en ] Introduction to theoretical computer science

N.N., Mo 11:30-13:00 (15×), We 09:45-11:15 (14×)
510010 SE 4 ECTS [ en ] Seminar mathematics (doctoral programm) 2/4

N.N., We 11:30-13:00 (14×)

Last modified: Fr 10.01.2025 00:44