Vorlesung Theoretische Informatik

Vorlesung Theoretische Informatik

Dozent:  Prof. Dr. R. Schrader
Zeit und Ort:   Di und Mi 8-9:30
Hörsaal C
ab 01. Juli: Seminarraum Weyertal 80

Vorlesungsbeginn am 14. April 2009

Inhalt der Vorlesung

Die Vorlesung beinhaltet eine Einführung in die zentralen Gebiete der Theoretischen Informatik: - Endliche Automaten - Formale Sprachen - Turingmaschinen - Berechenbarkeit - Komplexitätstheorie - Probabilistische Algorithmen und Nichtapproximierbarkeit

Die Vorlesung wird 4-stündig mit Übungen (2-stündig) angeboten. Ein Schein kann durch Teilnahme an den Übungen und eine Abschlussklausur (nähere Informationen) erworben werden.

Literatur

Übungen

In den Übungen wird der Inhalt der Vorlesung vertieft und es besteht die Möglichkeit, den Vorlesungsstoff zu diskutieren. Zusätzlich werden in den Übungen die Aufgaben besprochen. In den Übungen wird eine intensive Prüfungsvorbereitung stattfinden.