Automaten, Sprachen, Komplexität
» Diese Veranstaltung wird auf deutsch gehalten.
» Es gibt einen L2P-Lernraum zu dieser Veranstaltung.
Vorlesung im Sommersemester 2011
| Art | Termine/Ort | Beginn | Veranstalter |
|---|---|---|---|
| V2 | Mo 08:15–09:45, AH VI | 11.04.2011 | Löding |
| Ü1 | Mo 16:30–17:15, AH I (Zentralübung) | 18.04.2011 | Löding, Fridman, Schulz |
| Fr 13:15–14:00, SFo 1 (Diskussionsstunde) | 29.04.2011 | ||
| Fr 15:30–16:15, SFo 3 (Diskussionsstunde) | 29.04.2011 |
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