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 5 ECTS [ en ] Introduction to theoretical computer science

Fischer, Di 15:15-17:30 (14×)
250074 VO 6 ECTS [ en ] Introduction to mathematical logic

Müller, Mi 16:30-18:00 (14×), Fr 15:00-16:30 (13×)
250075 PS 3 ECTS [ en ] Introductory seminar on mathematical logic

Koelbing, Fr 10:45-12:15 (13×)
250098 SE 4 ECTS [ en ] Research seminar in mathematical logic

Friedman, Do 16:00-18:00 (12×)
250099 SE 4 ECTS [ en ] Seminar (Mathematical logic)

Friedman, Mo 14:00-15:00 (15×), Mi 14:00-15:00 (14×)

Letzte Änderung: Di 01.12.2020 01:51