146112 Theoretische Grundlagen der Informatik

Wintersemester 2014/2015 | Stand: 30.11.2023 LV auf Merkliste setzen
FSS Technikerstraße 17 FSS Technikerstraße 17
Ao.Univ.-Prof. Dr. Martin Welk Ao.Univ.-Prof. Dr. Martin Welk
146112
Theoretische Grundlagen der Informatik
VO 3
4,5
wöch.
jährlich
Deutsch

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.

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_Bac4: http://umit.at/page.cfm?vpath=studien/studienmanagement/pruefungen#mecws1415

06.10.2014
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Mo 06.10.2014
 13.15 - 16.45 UMIT UMIT SR108
Mo 13.10.2014
 13.15 - 16.45 UMIT UMIT SR106
Mo 20.10.2014
 13.15 - 16.45 UMIT UMIT SR106
Mo 27.10.2014
 13.15 - 16.45 UMIT UMIT SR106
Mo 03.11.2014
 13.15 - 16.45 UMIT UMIT SR106
Mo 10.11.2014
 13.15 - 16.45 UMIT UMIT SR106
Mo 17.11.2014
 13.15 - 16.45 UMIT UMIT SR106
Mo 24.11.2014
 13.15 - 16.45 UMIT UMIT SR106
Mo 01.12.2014
 13.15 - 16.45 UMIT UMIT SR106
Mo 15.12.2014
 13.15 - 16.45 UMIT UMIT SR106