Hochschulstudien Logic and Computation (E)

Technische Universität Wien

Das Ziel der Computational Intelligence ist Prinzipien zu verstehen, die Computersystemen intelligentes Verhalten ermöglichen sowie Methoden zu entwickeln, um Agenten dafür zu erstellen, also diese auf Computer zu übertragen. Man erhält dazu Einblick in die zwei Ansätze des Fachs: Einerseits die Analyse von biologischen Prozesse im Gehirn und in den Sinnesorganen, andererseits die Modellierung menschlichen Denkens durch symbolischer Logik oder anderer formaler Methoden. Das Studium enthält jedoch auch Kernelemente der klassischen theoretischen Informatik, wie Algorithmik. AbsolventInnen werden befähigt innovativ Problemstellungen zu lösen und beispielsweise Methoden zur Entwicklung formaler Hard- und Softwareverifikation, kryptographischer Anwendungen oder dem Entwurf von adaptiven, lernenden Systemen anzuwenden.

Master of Science, MSc, Dipl.-Ing.

4 Semester / 120 ECTS