Lehrveranstaltungen

Es sind Module im Umfang von insgesamt 7,5 ECTS-AP zu absolvieren. Diese können aus folgenden Optionen gewählt werden: - Bachelorstudium Informatik: aus den Wahlmodulen 1 - 4, mit Ausnahme der bereits im Bachelorstudium Lehramt Sekundar-stufe UF Informatik absolvierten Module - Masterstudium Informatik: Pflichtmodul 1 oder aus den Wahlmodulen 1 - 18 - Masterstudium Software Engineering: aus den Pflichtmodulen 1 - 4

Pflichtmodul 1: Vertiefung der Informatik (7,5 ECTS-AP)

Anmeldevoraussetzung: Die in den jeweiligen Curricula festgelegten Anmeldungsvoraussetzungen sind zu erfüllen.

Lernergebnis: Dieses Modul dient der Vertiefung der Fachkenntnisse aus dem Bachelorstudium

703083

VO Programmverifikation (VO / 3h / 4,5 ECTS-AP)
René Thiemann

703084

PS Programmverifikation (PS / 2h / 3 ECTS-AP)
René Thiemann

703085

VO Softwarequalität (VO / 3h / 4,5 ECTS-AP)
Harald Victor Schweiger, Peter Thoman

703086

PS Softwarequalität (PS / 2h / 3 ECTS-AP)
Harald Victor Schweiger

703304

VO Constraint Solving (VO / 2h / 4,5 ECTS-AP)
René Thiemann

703305

PS Constraint Solving (PS / 2h / 3 ECTS-AP)
Manuel Eberl

703319

SE Forschungsseminar in Logik und Lernen: CL/TCS (SE / 2h / 5 ECTS-AP)
Aart Middeldorp

703326

VU Wahrnehmung, Interaktion und Robotik A: Advanced Machine Learning (VU / 3h / 5 ECTS-AP)
Justus Piater

703327

VU Wahrnehmung, Interaktion und Robotik B: Physikbasierte Simulation (VU / 3h / 5 ECTS-AP)
Matthias Harders, Marcel Ritter

703331

SE Forschungsseminar in Wahrnehmung, Interaktion und Robotik: IGS/IIS (SE / 2h / 5 ECTS-AP)
Matthias Harders, Antonio José Rodriguez-Sanchez

OLAT ML

703334

VU Spezielle Themen 2: Recommender Systeme (VU / 3h / 5 ECTS-AP)
Eva Zangerle

703338

SE Forschungsseminar: Text Mining (SE / 2h / 5 ECTS-AP)
Adam Jatowt

703342

VU Spezielle Themen 5: Semantic Web (VU / 3h / 5 ECTS-AP)
Umutcan Serles

703347

SE Forschungsseminar: Information Retrieval (SE / 2h / 5 ECTS-AP)
Günther Specht

703353

VU Spezielle Themen 4: Advanced Deep Learning (VU / 3h / 5 ECTS-AP)
Antonio José Rodriguez-Sanchez

703355

SE Forschungsseminar: Environmental Sensing Systems (SE / 2h / 5 ECTS-AP)
Dominik Amschwand, Jan Beutel

703356

VU Ausgewählte Kapitel in sicherem und verteiltem Rechnen A: Distributed Learning (VU / 3h / 5 ECTS-AP)
Juan Aznar Poveda

OLAT ML

703358

VU Ausgewählte Kapitel in sicherem und verteiltem Rechnen B: Information Hiding (VU / 3h / 5 ECTS-AP)
Martin Benes, Rainer Böhme

703359

VU Ausgewählte Kapitel in Logik und Lernen B: Quantum Computation (VU / 3h / 5 ECTS-AP)
Georg Moser

703360

VU Logik und Lernen A: Semantics of Programming Languages (VU / 3h / 5 ECTS-AP)
Manuel Eberl

703364

SE Forschungsseminar in sicherem und verteiltem Rechnen: Sicherheit, Datenschutz und Forensik (SE / 2h / 5 ECTS-AP)
Rainer Böhme

703365

VU Sicheres und verteiltes Rechnen A: Secure and Private Computation (VU / 3h / 5 ECTS-AP)
Arnab Roy

703371

VU Ausgewählte Kapitel in Wahrnehmung, Interaktion und Robotik B: Mixed Reality (VU / 3h / 5 ECTS-AP)
Pascal Knierim

703375

VU Quantitative Methods in Cyber-Criminology (VU / 3h / 5 ECTS-AP)
Masarah Paquet-Clouston

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.

Übersicht Anmeldefristen für Lehrveranstaltungen