Achtung! Das Lehrangebot ist noch nicht vollständig und wird bis Semesterbeginn laufend ergänzt.

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

250089 SE 4 ECTS [ en ] Logic Colloquium

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

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

N.N., Mo 11:30-13:00 (15×), Mi 09:45-11:15 (14×)
510010 SE 4 ECTS [ en ] Research Seminar in Model Theory (VSM)

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

Letzte Änderung: Fr 10.01.2025 00:44