Lehrveranstaltungen



Wahlmodule (50 ECTS-AP)
Zur übergeordneten Rubrik
Wahlmodul 1: Automaten und Logik (7,5 ECTS-AP, 4 SSt.) (keine Lehrveranstaltungen)
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.) (keine Lehrveranstaltungen)
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.) (keine Lehrveranstaltungen)
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.) (keine Lehrveranstaltungen)
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.) (keine Lehrveranstaltungen)
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 8: Ausgewählte Kapitel in Logik und Lernen (10 ECTS-AP, 6 SSt.) (keine Lehrveranstaltungen)
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 10: Sicheres und verteiltes Rechnen (10 ECTS-AP, 6 SSt.) (keine Lehrveranstaltungen)
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 16: Spezialisierung A (10 ECTS-AP, 6 SSt.) (keine Lehrveranstaltungen)
Anmeldevoraussetzung: keine
Lernergebnis: Vertieftes Verständnis in aktuellen Themengebieten der Informatik. Erwerb der Fertigkeit, sich selbständig auf dem Gebiet weiterzubilden.

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.