Hier können Sie Ihre Filterkriterien festlegen für Kategorien + Volltextsuche und diese jederzeit ändern.
Ziel des Studiums ist eine solide wissenschaftliche Ausbildung in Informatik, die Expertisen und die Anwendung von erlernten Methoden zur Problemlösung ermöglicht. Dazu werden Schlüsselkompetenzen wie Abstraktion, Formalisierung und kritische Auseinandersetzung mit der gegebenen Aufgabe vermittelt und trainiert. Die AbsolventInnen werden sowohl befähigt selbstständig und projektorientiert zu arbeiten, als auch entlang des gesamten Prozesses professionell Lösungen zu erarbeiten und zu präsentieren. Dieses Masterstudium zeichnet sich durch große Wahlmöglichkeiten aus. So dient als Grundlage einzig das verpflichtende Modul „Spezifikation und Verifikation“, dass Lehrveranstaltungen zu Logik, formaler Spezifikation und eine Einführung in Model Checking enthält. Des Weiteren können aus dem folgenden Angebot an Blöcken jeweils zwei Module ausgewählt werden. Modulblock 1: Parallele Systeme und fortgeschrittene verteilte Systeme, Fortgeschrittene Rechnersysteme, Quanteninformation und Quantencomputer, Semantische Systeme. Modulblock 2: Datenbanken und Informationssysteme, Informationssicherheit, Ausgewählte Kapitel der Verifikation.
Die Informatik beschäftigt sich mit Grundlagen, Technologie und Anwendungen der systematischen und automatisierten Informationsverarbeitung. Sie liefert Methoden und Werkzeuge, um komplexe Systeme in Naturwissenschaft, Technik und anderen Bereichen des menschlichen Lebens beherrschen zu können, und setzt dazu sowohl mathematisch-formale als auch ingenieurwissenschaftliche Arbeitsweisen ein.
Das Masterstudium wird durch eine kommissionelle Prüfung abgeschlossen. Diese dauert zirka 45 Minuten, wobei ein Drittel der Zeit der Präsentation der Masterarbeit dient. Danach sind fachspezifische Fragen zur Masterarbeit zu beantworten.
nein
Keine
