Automaten, Sprachen und Komplexität
» This course is given in German.
Vorlesung im Wintersemester 2002/2003
| Art | Termine/Ort | Beginn | Veranstalter |
|---|---|---|---|
| V2 | Mo 10:00 - 11:30 VT | 21.10.2002 | Thomas |
| Ü2 | Fr 09:00 - 09:45 VT Fr 12:00 - 12:45 SG 13 |
25.10.2002 08.11.2002 |
Thomas, Cachat |
Inhalt
Diese Vorlesung richtet sich an Studierende des Ingenieurstudiengangs "Technische Informatik" im 3. 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.