LFU:online

Die Studierenden

-kennen grundlegende Konzepte der Automatentheorie, formalen Sprachen und Berechenbarkeit
-verstehen die Zusammenhänge zwischen diesen Begriffen
-sind in der Lage, darauf aufbauende theoretischen Arbeiten selbstständig zu erschließen

Aussagenlogik; Automatentheorie und -anwendung; reguläre Sprachen; Formalisieren von Sprachen/Grammatiken; Syntax und Semantik in Sprachen; Berechenbarkeit; Turing-Maschine; Halteproblem und Entscheidbarkeit; Komplexität von Algorithmen; P- und NP-Klassen; Lösungsverfahren für NP Probleme;

Vortrag, Beurteilung aufgrund eines einzigen Prüfungsaktes am Ende der Lehrveranstaltung.

schriftlich (Klausur) 90 Minuten

R. Socher, Theoretische Grundlagen der Informatik, Hanser, 2007
J.E. Hopcroft, R. Motwani, J.D. Ullman: Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie, Pearson, 2002
K.W.Wagner, Theoretische Informatik, Springer, 2003
R.Winter, Theoretische Informatik, Oldenbourg, 2002

Prüfungsankündigung: http://www.umit.at/page.cfm?vpath=studien/studienmanagement/pruefungen

Prüfungsankündigung UMIT Bachelor Mechatronik WS 2013/14:
http://www.uibk.ac.at/fakultaeten/technische-wissenschaften/studium/dokumente/pruefanksws1314_mec_bac3_2013-10.pdf