Lehrveranstaltungen

Lehrveranstaltungen

Erweiterte Suche|Zurücksetzen

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)
Fabian Sebastian Mitterwallner

ML

703314

VU Logik und Lernen A: Interactive Theorem Proving (VU / 3h / 5 ECTS-AP)
Cezary Kaliszyk

703315

VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL (VU / 3h / 5 ECTS-AP)
René Thiemann

703319

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

703322

VU Ausgewählte Kapitel in sicherem und verteiltem Rechnen A: Spieltheorie für die Informationssicherheit (VU / 3h / 5 ECTS-AP)
Svetlana Abramova

703326

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

703328

VU Ausgewählte Kapitel in Wahrnehmung, Interaktion und Robotik A: Computer Vision (VU / 3h / 5 ECTS-AP)
Justus Piater

703331

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

703334

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

703342

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

703343

SE Forschungsseminar: Semantic Web (SE / 2h / 5 ECTS-AP)
Dieter Fensel, Umutcan Serles

ML

703347

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

ML

703349

VU Logik und Lernen A: Advanced Machine Learning (VU / 3h / 5 ECTS-AP)
Justus Piater

703356

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

703359

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

ML

703364

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

703371

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

703607

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

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