Automaten, Sprachen, Komplexität
» Diese Veranstaltung wird auf deutsch gehalten.
» Es gibt einen L2P-Lernraum zu dieser Veranstaltung.
Vorlesung im Sommersemester 2012
| Art | Termine/Ort | Beginn | Veranstalter |
|---|---|---|---|
| V2 | Mo 08:15–09:45, AH VI | 16.04.2012 | Thomas |
| Ü1 | Mo 16:30–17:15, AH I (Zentralübung) | 16.04.2012 | Thomas, Neider |
| Fr 15:30–16:15, SFo 3 (Diskussionsstunde) | 20.04.2012 |
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