Courses



Compulsory Module 5: Specialisation Module (20 ECTS-Credits)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module have in-depth knowledge in one or several sub areas of computer science. They familiarised themselves with current problems of these sub areas and methods for the solution thereof.
Courses amounting to a total of 20 ECTS-CP, available at the Faculty for Mathematics, Computer Sciences and Physics at the University of Innsbruck labelled with the addition VMI (Vertiefungsmodul Master Informatik). It is recommended to take classes dealing with gender aspects of mathematics, computer science and physics.
Go to the superordinate section
703800
VO Computer Haptics (VO / 2h / 4 ECTS-AP)
Matthias Harders
Details of this course
703801
PS Computer Haptics (PS / 3h / 6 ECTS-AP)
Matthias Harders, Nihat Caghan Kirisci
Details of this course
ML
703815
SE Online Communication (SE / 2h / 4 ECTS-AP)
Dieter Fensel
Details of this course
703823
VU Automatic Theorem Proving (VU / 2h / 4 ECTS-AP)
Cezary Kaliszyk
Details of this course
703824
VU Computational Logic (VU / 3h / 6 ECTS-AP)
Vincent van Oostrom
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).