Courses



Compulsory Module 4: Introduction to Theoretical Computer Science (5 ECTS-Credits, 3 h)
Prerequisites for registration: none
Learning Outcome: Students understand the concept of calculability and various formal calculating models as well as their differences. Moreover, they can reduce information to the basics and represent it abstractly as well keeping formal proof.
Go to the superordinate section
ML
703007
Introduction to Theoretical Computer Science (VO / 2h / 3 ECTS-AP)
Georg Moser
Details of this course
ML
703008
Introduction to Theoretical Computer Science (PS / 1h / 2 ECTS-AP)
Georg Moser, Michael Knut Schaper, Florian Seidner
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).