University of Ulm , Faculty of Computer Science , Theoretical Computer Science Department

Vorlesung (WS 2005/06):
Formale Konzepte der Informatik

Vorlesungszeiten und Ankündigung

Vorlesung: Prof. Uwe Schöning , Donnerstag, 10-12 Uhr in H20
Übung: Kathrin Hockel , Donnerstag, 16-18 Uhr in H20

Die Prüfung findet am 23. Februar um 9.00 Uhr statt. Die Verwendung von Unterlagen ist erlaubt. Die Nachklausur findet am 27. April von 16.00 bis 18.00 Uhr im H20 statt.

Die Ergebnisse der Nachkausur liegen inzwischen vor. Sie hängen an der Pinnwand vor dem Sekretariat der Theoretischen Informatik aus.
Die korrigierten Nachklausuren können am Dienstag, den 9. Mai von 10.30 bis 11.30 Uhr im Besprechungsraum der Theoretischen Informatik eingesehen werden.

Inhalt

Von realen Systemen, samt aller betreffenden Einwirkungen und Auswirkungen, macht man sich formale Modelle, um diese im Computer speichern, bearbeiten, analysieren, weiter berechnen bzw. Voraussagen ermöglichen zu können. Solche Modelle können sein: (Differential-) Gleichungen, Formeln, logische Aussagen, Graphen, Automaten, Grammatiken, Algorithmen, u.a.m. Informatiker haben ein Vielzahl derartiger Modelle, Konzepte, Beschreibungsmethoden für komplexe Sachverhalte entwickelt, bzw. aus der Mathematik, Linguistik oder Elektrotechnik entlehnt. Diese Modellierungsmöglichkeiten und die dahinter stehenden "algorithmischen Denkweisen" sollen in dieser Vorlesung behandelt werden. Im Einzelnen werden behandelt: Graphen, Grammatiken, Automaten, Berechenbarkeit, NP-Vollständigkeit, Anwendungen in der Kryptografie, formale Logik.