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

250099 SE 4 ECTS [ en ] ( ON-SITE ) Research seminar in set theory

Fischer, Tu 15:00-16:30 (14×), Th 03.11. 16:45-18:15, Tu 06.12. 16:45-18:15
250124 SE 4 ECTS [ en ] ( ON-SITE ) Logic Colloquium

Aschenbrenner, Th 15:00-16:30 (13×), Th 15.12. 16:45-18:15
250153 VO 5 ECTS [ en ] ( ON-SITE ) Introduction to theoretical computer science

Marikova, Mo 13:15-14:45 (15×), We 13:15-14:45 (12×)
510004 SE 4 ECTS [ en ] ( ON-SITE ) Research seminar in Model Theory

Aschenbrenner, We 15:00-16:30 (12×)

Last modified: Fr 13.01.2023 01:01