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
- 250073 VO [ en ] Introduction to theoretical computer science
- 250074 VO [ en ] Introduction to mathematical logic
- 250075 PS [ en ] Introductory seminar on mathematical logic
- 250098 SE [ en ] Research seminar in mathematical logic
- 250099 SE [ en ] Seminar (Mathematical logic)
Letzte Änderung: Di 01.12.2020 01:51