Courses



Compulsory Module 4: Introduction to Theoretical Computer Science (5 ECTS-Credits; 3 h)
Prerequisites for registration: none
Learning Outcome: Absolventinnen und Absolventen dieses Moduls verstehen den Begriff der Berechenbarkeit und verschiedene formale Berechnungsmodelle sowie deren Unterschiede. Zudem können sie Informationen auf das Wesentliche reduzieren, abstrakt repräsentieren und formale Beweise führen.
Go to the superordinate section
703007
VO Introduction to Theoretical Computer Science (VO / 2h / 3 ECTS-AP)
Georg Moser
Details of this course
703062
SL Introduction to Theoretical Computer Science (SL / 1h / 2 ECTS-AP)
Alexander Lochmann, Georg Moser, Oleksandra Roche-Newton
Details of this course

Notes:
  • There may still be changes in the courses offered as well as room allocation and course dates.
  • The course descriptions found in the English version of the course catalogue are for informational purposes only. Authoritative information can be found in the "Vorlesungsverzeichnis" (German version of the course catalogue).