Informatik III

Personen

Prof. Juergen Dix
Dipl.-Inf. Nils Bulling

Kursbeschreibung

Die neu konzipierte Vorlesung Informatik III ersetzt die bisherigen Vorlesungen Theoretische Informatik I und Theoretische Informatik II. Sie beschaeftigt sich mit grundlegenden Fragen der Represaentation und formalen Verarbeitung von Informationen sowie der zugehoerigen mathematischen Modellbildung unabhaengig von spezifischen Rechnern und Rechnermodellen. Es stehen die Repraesentation von Informationen durch formale Sprachen, deren formale Manipulation (Algorithmen), hierzu adaequate Maschinen- und Berechenbarkeitsmodelle sowie Fragen der Effektivitaet und Effizienz im Mittelpunkt: Formale Sprachen, Automatentheorie, Chomsky-Hierarchie, Berechenbarkeit und Entscheidbarkeit, Komplexitaetstheorie (die Struktur von PSPACE, insbesondere P/NP). Die Vorlesung ist 3V + 1Ueb: die Uebungen sind sehr wichtig.

Wichtig

Eine Anmeldung im StudIP-System ist erforderlich. Alle weiteren Informationen (News, Aufgabenzettel,...) werden dort bereitgestellt.

Scheine und Prüfung

Klausurzulassung: Mindestens 50% der Gesamtpunktzahl aller Aufgabenzettel. Bonuspunkte: In Abhängigkeit der Gesamtpunktzahl aller Aufgabenzettel kann man in der Klausur Bonuspunkte bekommen! Genauere Informationen zu einem späteren Zeitpunkt. Prüfung: tba

Literatur

1. Katrin Erk, Lutz Priese: Theoretische Informatik - Eine umfassende Einfuehrung Springer Verlag, 2000.
2. Hopcroft, J. E., und Ullman, J. D.: Einfuehrung in die Automatentheorie, Formale Sprachen und Komplexitaetstheorie, Addison-Wesley (Deutschland), 1989