Informatik studieren mit Spezialisierung in Data Science & Engineering, Visual Computing, oder komplexen vernetzten Systemen

Zugangsvoraussetzung zum Masterstudiengang Computer Science (M.Sc.) ist der Abschluss eines Studiengangs, der Kompetenzen im Umfang von mindestens 180 Credit Points (CP) vermittelt. Von diesen dürfen mindestens 60 CP nicht wesentlich verschieden sein zu den im Bachelorstudiengang Informatik (B.Sc.) der TU Darmstadt vermittelten Eingangskompetenzen (vergleichbarer Studiengang, siehe Abschnitt „Formale Voraussetzungen“).

Formale Eingangsprüfung

Die Eingangskompetenzen werden nachgewiesen durch das bei der Bewerbung eingereichte Zeugnis über den ersten Studienabschluss und das Diploma Supplement oder vergleichbare Unterlagen.

Materielle Eingangsprüfung

Konnten die Eingangskompetenzen auf diesem Weg nicht eindeutig geklärt werden, wird eine schriftliche Prüfung durchgeführt.

Zulassung mit Auflagen

Stellt sich nach erfolgter Eingangsprüfung heraus, dass den Bewerber*innen Eingangskompetenzen fehlen, die durch das Nachholen von Leistungen im Umfang von nicht mehr als 30 CP ausgeglichen werden können, so kann eine Zulassung unter Auflagen gemacht werden. Die Auflagen müssen innerhalb der ersten zwei Semester erfüllt werden. Welche Module oder Fachprüfungen zur Auflage gemacht werden und bis wann diese zu erbringen sind, wird im Zulassungsbescheid aufgeführt.

Übliche Voraussetzungen

Zusätzlich gelten die für alle Studiengänge üblichen Voraussetzungen: insbesondere eine fristgerechte Bewerbung mit vollständigen (oder innerhalb einer Frist nachgereichten) Unterlagen und – nach Zulassung durch die TU Darmstadt – fristgerechter Überweisung des Semesterbeitrags.

Die im folgenden beschriebenen Eingangskompetenzen sind wesentlich für die erfolgreiche Absolvierung des M.Sc. Computer Science. Sie sind eine Auswahl der wichtigsten Kompetenzen, die im Referenzstudiengang B.Sc. Informatik an der TU Darmstadt vermittelt werden und damit auch die wesentlichen Voraussetzungen für die erfolgreiche Fortsetzung des Studiums in einem darauf aufbauenden Masterstudiengang liefern.

Innerhalb der im Umfang von mindestens 180 Credit Points (CP) nachzuweisenden Kompetenzen aus ihrem vorherigen Studienabschluss müssen die Bewerber*innen auf den M.Sc. Computer Science für eine Zulassung Eingangskompetenzen aus dem Referenzstudiengang oder äquivalente Kompetenzen im Umfang von insgesamt mindestens 60 CP nachweisen.

Die Bewerber*innen sollten in der Lage sein, mathematische Notationen und Methoden zur Fundierung von Konzepten der Informatik einzusetzen, insbesondere zur formalen Modellierung und Verifikation von Soft- und Hardwaresystemen.

Veranstaltungen, in denen diese Eingangskompetenzen im Referenzstudiengang an der TU Darmstadt vermittelt werden, sind Aussagen- und Prädikatenlogik; Automaten, formale Sprachen und Entscheidbarkeit; Modellierung, Spezifikation und Semantik.

Die Bewerber*innen sollten fähig sein,

• selbstständig aus einer Problembeschreibung die zur Lösung erforderlichen Standardalgorithmen und Datenstrukturen entsprechend den funktionalen und nichtfunktionalen Anforderungen auszuwählen bzw. unter Zugrundelegung von bekannten Strategien neue Algorithmen und Datenstrukturen zur Problemlösung zu konstruieren und einzuschätzen, ggf. unter Berücksichtigung von Parallelität.
• die einzelnen Bestandteile einer Programmiersprache selbstständig und ohne analoges Beispiel im Rahmen einer Programmieraufgabe zu einer Gesamtlösung zusammenzuführen.
• Programmieraufgaben in unterschiedlichen, auch parallelen, Programmiersprachen zu lösen, die verschiedenen Paradigmen folgen, unterschiedliche Anwendungsbereiche haben und auf der ganzen Bandbreite an Abstraktionsebenen angesiedelt sind.
• die Qualität der erstellten Implementierungen durch formalisierte Testverfahren und Entwurfsmethoden sicherzustellen.
• die genannten Kenntnisse in praktisch relevanten Bereichen der Informatik selber anzuwenden. Dabei sollen jeweils auch nicht-funktionale Aspekte, insbesondere auch die Sicherheit der erstellten IT-Systeme, berücksichtigt werden.

Diese Eingangskompetenzen in praktisch relevanten Bereichen der Informatik werden im Referenzstudiengang an der TU Darmstadt in folgenden Veranstaltungen vermittelt: Algorithmen und Datenstrukturen; Betriebssysteme; Computersystemsicherheit; Computernetze und verteilte Systeme; Einführung in den Compilerbau; Einführung in die Künstliche Intelligenz; Formale Methoden im Softwareentwurf; Funktionale und objektorientierte Programmierkonzepte; Informationsmanagement; Parallele Programmierung; Probabilistische Methoden der Informatik; Scientific Computing; Software Engineering; Visual Computing.

Die Bewerber sollten die Fähigkeit besitzen,

• die einzelnen Entwurfsprinzipien und Grundelemente von digitalen Schaltungen, wie sie in den Vorlesungen nacheinander separat eingeführt werden, selbstständig und ohne analoges Beispiel im Rahmen einer Hardware-Entwurfsaufgabe zu einer Gesamtlösung zusammenzuführen.
• Entwurfsaufgaben auf unterschiedlichen Abstraktionsebenen und aus unterschiedlichen Anwendungsbereichen durch strukturierte Entwurfsmethoden in verschiedenen Beschreibungssprachen und unter Einsatz eines Spektrums von Entwurfswerkzeugen zu lösen und bezüglich geeigneter Gütemaße zu evaluieren.
• die Interaktion von Computer-, Prozessor- und Mikroarchitekturen zu verstehen und daraus für die System- und Anwendungssoftwareebene passende Implementierungsentscheidungen zu treffen.

Veranstaltungen, in denen diese Eingangskompetenzen im Referenzstudiengang an der TU Darmstadt vermittelt werden, sind Digitaltechnik und Rechnerorganisation.