Courses


Advanced search|Reset
Compulsory Module 2: Introduction to Theoretical Computer Science (5 ECTS-Credits, 3 h)
Prerequisites for registration: none
Learning Outcome: Graduates of this module understand the notion of computability theory and various abstract computational models as well as their differences. Furthermore, they can reduce information to its essentials and represent the information abstractly. Moreover the are capable of given formal proofs.
Go to the superordinate section
OLAT ML
703007
VO Introduction to Theoretical Computer Science (VO / 2h / 3 ECTS-AP)
Georg Moser
Details of this course
OLAT ML
703062
SL Introduction to Theoretical Computer Science (SL / 1h / 2 ECTS-AP)
Martin Avanzini, Georg Moser, Jonas Helmut Schöpf
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).