146112 VO Theoretische Grundlagen der Informatik
Wintersemester 2017/2018 | Stand: 30.11.2023 | LV auf Merkliste setzenDie 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.
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
Allgemeine Prüfungsinformation Mec_Bac7: https://umit.at/page.cfm?vpath=studien/studienmanagement/pruefungen#Mchat_ws1718
- Fakultät für Technische Wissenschaften
Gruppe 0
|
||||
---|---|---|---|---|
Datum | Uhrzeit | Ort | ||
Mo 09.10.2017
|
13.15 - 16.45 | UMIT UMIT | SR001 | |
Mo 16.10.2017
|
13.15 - 16.45 | UMIT UMIT | SR101 | |
Mo 30.10.2017
|
13.15 - 16.45 | UMIT UMIT | SR105 | |
Mo 06.11.2017
|
13.15 - 16.45 | UMIT UMIT | SR105 | |
Mo 13.11.2017
|
13.15 - 16.45 | UMIT UMIT | SR101 | |
Mo 27.11.2017
|
13.15 - 16.45 | UMIT UMIT | SR001 | |
Mo 11.12.2017
|
13.15 - 16.45 | UMIT UMIT | SR001 | |
Mo 18.12.2017
|
13.15 - 16.45 | UMIT UMIT | SR001 | |
Mo 08.01.2018
|
13.15 - 16.45 | UMIT UMIT | SR001 | |
Mo 15.01.2018
|
13.15 - 16.45 | UMIT UMIT | SR001 | |
Mo 22.01.2018
|
13.15 - 16.45 | UMIT UMIT | SR101 | |
Mo 29.01.2018
|
17.00 - 18.30 | UMIT UMIT | SR001 Prüfung-Haupttermin | |
Mo 09.04.2018
|
17.00 - 18.30 | UMIT UMIT | SR001 Prüfung-Ersatztermin |