Automaten, Sprachen, Komplexität

» Diese Veranstaltung wird auf deutsch gehalten.

» Es gibt einen L2P-Lernraum zu dieser Veranstaltung.

Vorlesung im Sommersemester 2013

ArtTermine/OrtBeginnVeranstalter
V2 Mo 08:15–09:45, AH VI 15.04.2013 Löding
Ü1 Mo 16:30–17:15, AH I (Zentralübung) 22.04.2013 Löding, Brütsch
Fr 15:30–16:15, SFo 3 (Diskussionsstunde) 19.04.2013

Inhalt

Diese Vorlesung richtet sich an Studierende des Studiengangs "Elektrotechnik, Informationstechnik und Technische Informatik" im 4. Fachsemester. Es wird – verankert in Beispielen aus den Anwendungen – eine Einführung in zentrale Begriffe und Sachverhalte der theoretischen Informatik gegeben. Dabei werden verschiedene Automatenmodelle, Methoden der Spezifikation formaler Sprachen sowie Fragen zur Berechenbarkeit und Berechnungskomplexität behandelt.

Credit Points

4 ECTS