Logic and Computation

Das englischsprachige Masterstudium Logic and Computation befasst sich mit den Grundlagen, dem Aufbau und dem Design von intelligenten Agenten. Darüber hinaus enthält es Kernelemente der klassischen theoretischen Informatik.

Das Ziel der Arbeiten im Gebiet der Logic and Computation ist es, einerseits die Prinzipien zu verstehen, die intelligentes Verhalten ermöglichen, andererseits Methoden zu entwickeln, die zur Konstruktion von intelligenten Agenten führen. Die zugrunde liegende Hypothese dabei ist, dass intelligentes Schließen letztlich nichts anderes als eine Art von Berechnung (Computation) ist. Das Masterstudium wird in Englisch angeboten.

Der Arbeitsaufwand für das Masterstudium Logic and Computation beträgt 120 ECTS-Punkte. Dies entspricht einer vorgesehenen Studiendauer von 4 Semestern als Vollzeit-studium.

ECTS-Punkte (Ects) sind ein Maß für den Arbeitsaufwand der Studierenden. Ein Studienjahr umfasst 60 ECTS-Punkte.

Die Inhalte und Qualifikationen des Studiums 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 meh-rerer inhaltlich zusammenhängender Lehrveranstaltungen. Thematisch ähnliche Module werden zu Prüfungsfächern zusammengefasst, deren Bezeichnung samt Umfang und Gesamtnote auf dem Abschlusszeugnis ausgewiesen wird.

Aufgrund der beruflichen Anforderungen werden im Masterstudium Logic and Com-putation Qualifikationen hinsichtlich folgender Kategorien vermittelt:

Fachliche und methodische Kenntnisse

Aufbauend auf einem einschlägigen Bache-lorstudium werden, neben fortgeschrittenen Kenntnissen im Bereich der Informatik und einem kritischen Verständnis ihrer Theorien und Grundsätze, Kenntnisse in folgenden Teilbereichen der Logic and Computation vermittelt:

• Algorithmen und Komplexität;
• Wissensrepräsentation und Künstliche Intelligenz; Programmiersprachen und Verifikation;
• Logik, Mathematik und Theoretische Informatik.

 

Kognitive und praktische Fertigkeiten

Durch die praktische und theoretische Aus-einandersetzung mit aktuellen Technologien und Methoden werden folgende Fertigkeiten vermittelt:

• Analyse komplexer Aufgabenstellungen auf Basis formaler, mathematischer und logikbasierter Methoden, sowie Lösung und praktische Umsetzung derselben;
• Weiterentwicklung formal-mathematischer Methoden; wissenschaftlich fundiertes Vorgehen;
• logisch-mathematisches Abstraktionsvermögen und Methodik.

 

Soziale Kompetenzen, Innovationskompetenz und Kreativität

• Entscheidungsverantwortung und Führungskompetenz; Kommunikationsfähigkeit;
• Fähigkeit zur kritischen Reflexion des Status Quo und des eigenen Handelns.