Lehrveranstaltungen
Zur übergeordneten Rubrik
Wahlmodul 1: Automaten und Logik (7,5 ECTS-AP, 4 SSt.)
Anmeldevoraussetzung: keine
Lernergebnis: Vertieftes Verständnis auf dem Gebiet der endlichen Automaten und der Logik. Studierende beherrschen die Konzepte und theoretischen Werkzeuge, die der rechnergestützten Verifikation zugrundeliegen im vollen Umfang und können diese auch gegebenenfalls eigenständig weiterentwickeln.
Wahlmodul 2: Constraint-Solving (7,5 ECTS-AP, 4 SSt.)
(keine Lehrveranstaltungen)
Anmeldevoraussetzung: keine
Lernergebnis: Vertieftes Verständnis auf dem Gebiet des Constraint Solving. Studierende beherrschen Konzepte, die in aktuellen SAT-, SMT- und ähnlichen Solvern eingesetzt werden und können diese auch gegebenenfalls eigenständig weiterentwickeln. Zudem können sie für Anwendungen geeignete Solver auswählen, um Problemstellungen effektiv zu lösen.
Wahlmodul 3: Kryptographie (7,5 ECTS-AP, 4 SSt.)
Anmeldevoraussetzung: keine
Lernergebnis: Vertieftes Verständnis auf dem Gebiet der Kryptographie. Studierende beherrschen die Konzepte und theoretischen Grundlagen zur Konstruktion aktueller kryptographischer Verfahren. Sie kennen elementare Sicherheitsbegriffe und typische Angriffe auf Kryptographie. Sie können den sicheren Einsatz ausgewählter kryptographischer Verfahren in praktischen Systemen analysieren und sich gegebenenfalls eigenständig in ähnliche Verfahren einarbeiten.
Wahlmodul 4: Hochleistungsrechnen (7,5 ECTS-AP, 4 SSt.)
Anmeldevoraussetzung: keine
Lernergebnis: Vertieftes Verständnis auf dem Gebiet der Kryptographie. Studierende beherrschen die Nach erfolgreicher Absolvierung des Moduls können die Studierenden komplexe parallele Rechnerarchitekturen und Programme beschreiben, klassifizieren, und diese je nach Anforderungen auswählen und anpassen. Gängige Analyse- und Optimierungsmethoden werden verstanden und können umgesetzt werden. Die Studierenden sind in der Lage, größere Rechenprobleme selbstständig und effizient auf Parallelrechnern zu lösen.
Wahlmodul 5: Optimierung und numerische Berechnung (7,5 ECTS-AP, 4 SSt.)
Anmeldevoraussetzung: keine
Lernergebnis: Nach erfolgreicher Absolvierung des Moduls verstehen die Studierenden aktuelle, komplexe algorithmische Methoden im Bereich der Interaktiven Systeme. Sie sind in der Lage, entsprechende Probleme durch gezielten Einsatz der Methoden zu lösen und ähnliche Inhalte selbst zu erarbeiten. Zentrale Methoden wie numerische Berechnungen, Optimierung, Computergestützte Physik, sowie Grundlagen der Kontrolltheorie werden von den Studierenden verstanden. Diese können von ihnen beschrieben, klassifiziert, je nach Anforderungen ausgewählt, umgesetzt und angepasst werden.
Wahlmodul 6: Signalverarbeitung und algorithmische Geometrie (7.5 ECTS-AP, 4 SSt.)
Anmeldevoraussetzung: keine
Lernergebnis: Nach erfolgreicher Absolvierung des Moduls verstehen die Studierenden aktuelle, komplexe algorithmische Methoden im Bereich Visual Computing. Sie sind in der Lage, entsprechende Probleme durch gezielten Einsatz der Methoden zu lösen und ähnliche Inhalte selbst zu erarbeiten. Zentrale Methoden wie Signalverarbeitung, Algorithmische Geometrie und Koordinatentransformationen werden von den Studierenden verstanden. Diese können von ihnen beschrieben, klassifiziert, je nach Anforderungen ausgewählt, umgesetzt und angepasst werden.
Wahlmodul 7: Logik und Lernen (10 ECTS-AP, 6 SSt.)
(keine Lehrveranstaltungen)
Anmeldevoraussetzung: keine
Lernergebnis: Vertieftes Verständnis in aktuellen Themengebieten aus Logik und Lernen. Erwerb der Fertigkeit, sich selbständig auf dem Gebiet weiterzubilden.
Wahlmodul 8: Ausgewählte Kapitel in Logik und Lernen (10 ECTS-AP, 6 SSt.)
Anmeldevoraussetzung: keine
Lernergebnis: Vertieftes Verständnis in ausgewählten, weiterführenden Vertiefungsgebieten aus Logik und Lernen. Erwerb der Fertigkeit, sich selbständig auf dem Gebiet weiterzubilden.
Wahlmodul 9: Weiterführende Themen in Logik und Lernen (10 ECTS-AP, 5 SSt.)
Anmeldevoraussetzung: keine
Lernergebnis: Vertieftes Verständnis in aktuellen Themengebieten aus Sicherem und verteiltem Rechnen. Erwerb der Fertigkeit, sich selbständig auf dem Gebiet weiterzubilden.
Wahlmodul 10: Sicheres und verteiltes Rechnen (10 ECTS-AP, 6 SSt.)
Anmeldevoraussetzung: keine
Lernergebnis: Vertieftes Verständnis in aktuellen Themengebieten aus Sicherem und verteiltem Rechnen. Erwerb der Fertigkeit, sich selbständig auf dem Gebiet weiterzubilden.
Wahlmodul 11: Ausgewählte Kapitel in sicherem und verteiltem Rechnen (10 ECTS-AP, 6 SSt.)
(keine Lehrveranstaltungen)
Anmeldevoraussetzung: keine
Lernergebnis: Vertieftes Verständnis in ausgewählten, weiterführenden Vertiefungsgebieten aus Sicherem und verteiltem Rechnen. Erwerb der Fertigkeit, sich selbständig auf dem Gebiet weiterzubilden.
Wahlmodul 12: Weiterführende Themen in sicherem und verteiltem Rechnen (10 ECTS-AP, 5 SSt.)
Anmeldevoraussetzung: keine
Lernergebnis: Tiefgreifendes Verständnis in spezialisierten Vertiefungsgebieten aus Sicherem und verteiltem Rechnen der Fertigkeit, sich selbständig auf dem Gebiet weiterzubilden.
Wahlmodul 13: Wahrnehmung, Interaktion und Robotik (10 ECTS-AP, 6 SSt.)
(keine Lehrveranstaltungen)
Anmeldevoraussetzung: keine
Lernergebnis: Vertieftes Verständnis in aktuellen Themengebieten aus Wahrnehmung, Interaktion und Robotik. Erwerb der Fertigkeit, sich selbständig auf dem Gebiet weiterzubilden.
Wahlmodul 14: Ausgewählte Kapitel in Wahrnehmung, Interaktion und Robotik (10 ECTS-AP, 6 SSt.)
Anmeldevoraussetzung: keine
Lernergebnis: Vertieftes Verständnis in ausgewählten, weiterführenden Vertiefungsgebieten aus Wahrnehmung, Interaktion und Robotik. Erwerb der Fertigkeit, sich selbständig auf dem Gebiet weiterzubilden.
Wahlmodul 15: Weiterführende Themen in Wahrnehmung, Interaktion und Robotik (10 ECTS-AP, 5 SSt.)
Anmeldevoraussetzung: keine
Lernergebnis: Tiefgreifendes Verständnis in spezialisierten Vertiefungsgebieten aus Wahrnehmung, Interaktion und Robotik. Erwerb der Fertigkeit, sich selbständig auf dem Gebiet weiterzubilden.
Wahlmodul 16: Spezialisierung A (10 ECTS-AP, 6 SSt.)
Anmeldevoraussetzung: keine
Lernergebnis: Vertieftes Verständnis in aktuellen Themengebieten der Informatik. Erwerb der Fertigkeit, sich selbständig auf dem Gebiet weiterzubilden.
Wahlmodul 17: Spezialisierung B (10 ECTS-AP, 6 SSt.)
(keine Lehrveranstaltungen)
Anmeldevoraussetzung: keine
Lernergebnis: Vertieftes Verständnis in ausgewählten, weiterführenden Vertiefungsgebieten der Informatik. Erwerb der Fertigkeit, sich selbständig auf dem Gebiet weiterzubilden.
Wahlmodul 18: Spezialisierung C (10 ECTS-AP, 5 SSt.)
Anmeldevoraussetzung: keine
Lernergebnis: Tiefgreifendes Verständnis in spezialisierten Vertiefungsgebieten der Informatik. Erwerb der Fertigkeit, sich selbständig auf dem Gebiet weiterzubilden.
LEHRVERANSTALTUNGEN
Es können Lehrveranstaltungen im Umfang von 10 ECTS-AP nach Maßgabe freier Plätze aus den Curricula der an der Universität Innsbruck eingerichteten Master- und/oder Diplomstudien frei gewählt werden.
Wahlmodul 19: Interdisziplinäre Kompetenzen (10 ECTS-AP)
Anmeldevoraussetzung: Die in den jeweiligen Curricula festgelegten Anmeldungsvoraussetzungen sind zu erfüllen.
Lernergebnis: Dieses Modul dient der Erweiterung des Studiums und dem Erwerb von Zusatzqualifikationen.
Für weitere Lehrveranstaltungen klicken Sie LEHRVERANSTALTUNGEN.Zur individuellen Schwerpunktsetzung können Module aus den Curricula der an der Fakultät für Mathematik, Informatik und Physik der Universität Innsbruck eingerichteten Masterstudien im Umfang von 20 ECTS-AP frei gewählt werden. Die in den jeweiligen Curricula festgelegten Anmeldungsvoraussetzungen sind zu erfüllen.
Wahlmodul 20: Individuelle Schwerpunktsetzung (20 ECTS-AP)
Hinweis:
- Es können sich noch Änderungen im Lehrveranstaltungsangebot sowie bei Raum- und Terminbuchungen ergeben.
- Bitte wählen Sie für das Lehrveranstaltungsangebot die Fakultät aus, der Ihre Studienrichtung zugeteilt ist.