Dieses Studium hebt die Beziehung zwischen theoretischen Informatik und Logik hervor. In ihm sollen fundierte theoretische sowie praktische Kenntnisse der Disziplin Computational Logic vermittelt werden. Die Schwerpunkte der Ausbildung umfassen die Gebiete mathematische Logik, logische Programmierung, deduktive Systeme, künstliche Intelligenz, formale Methoden und Verifikation, Wissensrepräsentation und Inferenz-Techniken. Der Abschluss dieses Studiums bescheinigt die benötigten Fähigkeiten, um Problemstellungen aus der Computational Logic oder deren Anwendungen selbstständig nach wissenschaftlichen Methoden zu lösen. Durch die internationale Ausrichtung können AbsolventInnen weltweit bei wissenschaftlich und wirtschaftlich orientierten Organisationen tätig werden. Die Unterrichtssprache ist Englisch.