Automaten, Sprachen, Komplexität
» Diese Veranstaltung wird auf deutsch gehalten.
» Es gibt einen L2P-Lernraum zu dieser Veranstaltung.
Vorlesung im Sommersemester 2013
Art | Termine/Ort | Beginn | Veranstalter |
---|---|---|---|
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