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

250100 VO 5 ECTS [ en ] Axiomatic set theory 1

Fischer, Tu 08:45-10:15 (15×), Th 08:45-10:15 (13×)
250179 PS 3 ECTS [ en ] Introductory seminar on Axiomatic set theory 1

Fischer, Fr 08:45-10:15 (14×)
250052 VO 5 ECTS [ en ] Introduction to Theoretical Computer Science

Marikova, Mo 11:15-12:45 (15×), We 08:45-10:15 (16×)
250103 SE 4 ECTS [ en ] Seminar in Mathematical Logic

Miller, Mo 16:45-17:30 (15×), We 16:45-17:30 (16×)
510005 SE 4 ECTS [ en ] Research Seminar in Mathematical Logic VSM

Aschenbrenner, Th 15:00-16:30 (13×)

Last modified: Fr 25.06.2021 02:04