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 [ en ] Logic Colloquium
- 250102 SE [ en ] Research Seminar in Set Theory
- 250153 VO [ en ] Introduction to theoretical computer science
- 510010 SE [ en ] Research Seminar in Model Theory (VSM)
Letzte Änderung: Fr 10.01.2025 00:44