Basic courses, specialization "Logic"

non-compulsory Proseminars (PS) may be counted as credits in further electives, if not used as alternative compulsory in the seminar module

250074 VO 5 ECTS [ en ] Introduction to theoretical computer science

Fischer, Fr 16:00-18:15 (11×)
250098 SE 4 ECTS [ en ] Research seminar in mathematical logic

Miller, Th 16:00-18:00 (14×)
250099 SE 4 ECTS [ en ] Seminar in mathematical logic

Miller, Mo 14:00-15:00 (15×), We 14:00-15:00 (15×)

Last modified: Fr 11.01.2019 00:31