Informatik studieren

Zugangsvoraussetzung zum Masterstudiengang Informatik (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 Vorsaussetzungen“).

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. Diese 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.

Die im folgenden beschriebenen Eingangskompetenzen sind wesentlich für die erfolgreiche Absolvierung des M.Sc. Informatik. 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. Informatik für eine Zulassung Eingangskompetenzen im Umfang von insgesamt 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.

Alle oben beschriebenen Kompetenzen sind wesentlich für die erfolgreiche Absolvierung des Master of Science-Studiengangs Informatik. Insbesondere wesentlich ist, dass diese Erfahrungen im Zusammenhang mit den Inhalten der Grundlagenveranstaltungen gesammelt werden, insbesondere in den Kernfächern der Informatik (gegliedert in Pflichtveranstaltungen und die unten aufgeführten vertiefenden Wahlpflichtveranstaltungen), auf denen der gewählte Masterstudiengang beruht.

Im Folgenden werden die Anforderungen detailliert definiert, die uneingeschränkt notwendig sind, um den Master of Science-Studiengang Informatik erfolgreich zu absolvieren:

• 1. Es müssen die oben definierten Erfahrungen für die Kernfächer der Informatik nachgewiesen sein. Konkret müssen Inhalte aus folgenden Veranstaltungen im Umfang von mindestens 60 CP abgedeckt sein:
  • Inhalte der grundlegenden Pflichtveranstaltungen: Algorithmen und Datenstrukturen; Aussagen- und Prädikatenlogik; Automaten, Formale Sprachen und Entscheidbarkeit; Computer-Netzwerke und verteilte Systeme; Computation für Stochastik, Statistik und Infor-mationstheorie; Computersystemsicherheit; Digitaltechnik; Einführung in die Künstliche Intelligenz; Funktionale und objektorientierte Programmierkonzepte; Informationsmanagement; Modellierung, Spezifikation und Semantik; Rechnerorganisation; Systemnahe und parallele Programmierung.
  • Inhalte der vertiefenden Wahlpflichtveranstaltungen: Betriebssysteme; Einführung in den Compilerbau; Einführung in Scientific Computing; Formale Methoden im Software-Entwurf; Visual Computing.und parallele Programmierung.
• 2. Unter der Voraussetzung aus Punkt 1 gilt: Sollte das Bachelorstudium der/des Bewerbenden generell Kompetenzen in der oben beschriebenen Form vermitteln, aber die für den Master of Science-Studiengang Informatik wesentlichen Kernfächer der Informatik inhaltlich nicht in hinreichendem Umfang abdecken, kann das erfolgreiche Absolvieren der Prüfungen in nicht abgedeckten Kernfächern im ersten Studienjahr zur Auflage für die endgültige Zulassung gemacht werden.