Aufbauend auf ein Bachelorstudium führen Masterstudien zu einer Vertiefung und Spezialisierung. Die Absolvent_innen der Masterstudien sind sowohl für höhere Positionen in der Wirtschaft als auch für eine anschließende wissenschaftliche Karriere (Doktoratsstudien) qualifiziert.

Die Zulassung zu einem Masterstudium setzt den Abschluss eines fachlich in Frage kommenden Bachelorstudiums bzw. Bachelorstudienganges an einer Fachhochschule oder eines anderen gleichwertigen Studiums an einer anerkannten in- oder ausländischen postsekundären Bildungseinrichtung voraus.

Studierende, deren Muttersprache nicht Englisch ist, haben die Kenntnis der englischen Sprache nachzuweisen. Für einen erfolgreichen Studienfortgang werden Englischkenntnisse nach Referenzniveau B2 des Gemeinsamen Europäischen Referenzrahmens für Sprachen empfohlen.

Welche abgeschlossenen Studienrichtungen für die Zulassung zu den einzelnen Masterstudien in Frage kommen und welche fachlichen sowie sprachlichen Kenntnisse im Detail vorausgesetzt werden, sind im jeweiligen Studienplan einzusehen.

Der Arbeitsaufwand für die Masterstudien beträgt jeweils 120 ECTS-Punkte. Dies entspricht einer vorgesehenen Studiendauer von 4 Semestern als Vollzeitstudium. Ein Studienjahr umfasst 60 ECTS-Punkte. ECTS-Punkte sind ein Maß für den Arbeitsaufwand der Studierenden und werden an den unterschiedlichen Leistungsanforderungen der einzelnen Module und Lehrveranstaltungen bemessen.

Modulare Einteilung

Die Inhalte und Qualifikationen der Studien werden durch Module vermittelt. Ein Modul ist eine Lehr- und Lerneinheit, welche durch Eingangs- und Ausgangsqualifikationen, Inhalt, Lehr- und Lernformen, den Regelarbeitsaufwand sowie die Leistungsbeurteilung gekennzeichnet ist. Die Absolvierung von Modulen erfolgt in Form einzelner oder mehrerer inhaltlich zusammenhängender Lehrveranstaltungen. Thematisch ähnliche Module werden zu Prüfungsfächern zusammengefasst, deren Bezeichnung samt Umfang und Gesamtnote auf dem Abschlusszeugnis ausgewiesen wird.

Abschlussarbeit

Im Rahmen des Prüfungsfaches Diplomarbeit ist eine wissenschaftliche Arbeit zu verfassen und eine kommissionelle Gesamtprüfung abzulegen. Das Prüfungsfach wird insgesamt mit 30 ECTS-Punkten bewertet, wobei die kommissionelle Gesamtprüfung 3 ECTS-Punkte umfasst. Die Diplomarbeit ist eine wissenschaftliche Arbeit, die dem Nachweis dient, ein wissenschaftliches Thema selbstständig inhaltlich und methodisch vertretbar zu bearbeiten. Das Thema der Diplomarbeit ist von den Studierenden frei wählbar und muss im Einklang mit dem Qualifikationsprofil stehen.

Ergänzungsstudium Innovation

Zusätzlich zu den regulären Prüfungsfächern kann in allen Masterstudien das englischsprachige Prüfungsfach Innovation im Umfang von 30 ECTS-Punkten absolviert werden. Dieses wird auf dem Abschlusszeugnis ausgewiesen. Die Module des Ergänzungsstudiums vermitteln Zusatzqualifikationen in folgenden Bereichen:

• Entrepreneurship and company foundation
• Intrapreneurship and innovation management
• University engagement and research transfer

Aufgrund der beschränkten Teilnehmerzahl erfolgt die Vergabe der Plätze nach einem gesonderten Auswahlverfahren. Details zum Ergänzungsstudium Innovation sind den jeweiligen Studienplänen zu entnehmen.

The European Master’s Program in Computational Logic is an international distributed Master of Science study program implemented by the computer science departments of five cooperating universities: TU Dresden, Universidade Nova de Lisboa, Libera Universitá di Bolzano, Universidad Politécnica de Madrid, and Vienna University of Technology.

Approach

The objective of the program is to impart to the students the profound theoretical and practical knowledge required for professional practice in the field, to give them a survey of the individual disciplines of Computational Logic and to develop their ability to work according to scientific methods. In addition, the students are given the opportunity to plan their studies to fit a particular practical application. To acquire practice-oriented knowledge they may choose appropriate combinations of modules. By means of visits abroad and English as the language of instruction, the students are to be prepared for the increasing internationalism of science, commerce and industry. The focus of instruction lies in the following areas: mathematical logic, logic programming, deduction systems, knowledge representation, artificial intelligence, methods of formal specification and verification, inference techniques, syntax-directed semantics, and the relationship between theoretical computer science and logic.

Professional Activity

Computational Logic is of increasing importance for dealing with the complexity of modern computer-supported systems and worldwide on the rise. Today’s information technology is witnessing a change – and the change is omnipresent. Especially the Internet is a scientific invention that has influenced the way we think and act. The more all this transfuses into our lives, the more mind boggling it becomes for the computer scientists to handle various key issues involved in data security, transactions, network computing, network architecture, computer architecture, complex software, distributed platforms and in short – every little aspect which affects our present day computer society.