Core modules 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 ] ( VOR-ORT ) Research seminar in set theory

Fischer, Di 15:00-16:30 (14×), Do 03.11. 16:45-18:15, Di 06.12. 16:45-18:15
250124 SE 4 ECTS [ en ] ( VOR-ORT ) Logic Colloquium

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

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

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

Letzte Änderung: Fr 13.01.2023 01:01