Lehrstuhl Prof. Dr. E. Speckenmeyer

Wenn man wissen möchte, wie sich ein neuer Fahrplan auf die Verspätungen im Nahverkehrsnetz auswirkt, kann man nicht für einen Tag oder eine Woche sämtliche Bahnen umstellen. Das Verhalten eines KKWs mit gestörtem Kühlkreislauf möchte man voraus sagen können, ohne dafür die Sicherheitssysteme sabotieren zu müssen. Eine günstige Verteilung von Notausgängen muss man kennen, bevor man das betreffende Gebäude errichtet. Allgemein: Wenn ein reales System zu komplex ist um es vollständig zu beschreiben, Experimente zu teuer oder zu gefährlich sind, behilft man sich mit der Simulation seines Verhaltens.

Um Sie bei dererlei Gelegenheiten nicht im Regen stehen zu lassen, bieten wir im Wintersemester 2010/2011 wieder die Veranstaltung "Modellierung und Simulation" an. Die Vorlesung wiegt vier Semesterwochenstunden, die dazu gehörige Übung zwei.

Im kommenden Sommersemester 2010 bieten wir wieder die Veranstaltung "Theoretische Informatik" an. Die Vorlesung wiegt vier Semesterwochenstunden, die dazu gehörige Übung zwei.

Die Vorlesung beinhaltet eine Einführung in die Themengebiete Automatentheorie, Formale Sprachen, Berechenbarkeit und Komplexitätstheorie, die die Grundlage fast aller Disziplinen der Informatik bilden. Zentrale Arbeitsgebiete wie z.B. Compilerbau, Rechnerarchitektur oder Künstliche Intelligenz basieren direkt auf diesen Methoden. Dazu behandeln wir auch modernere Gebiete wie z.B. approximierende und randomisierte Algorithmen. Die Vorlesung folgt nicht nur dem klassischen "Definition-Satz-Beweis"-Stil, sondern versucht darüber hinaus diese Thematik aus algorithmenorientierter Sichtweise zu behandeln.

Die Einsicht in die Klausur findet am Montag, den 5. Oktober 2009, von 15.00 bis 16.30 Uhr statt. Falls Sie teilnehmen möchten, schreiben Sie bitte bis Sonntag, 12.00 Uhr eine EMail an Sascha Zur. Eine Anmeldung ist notwendige Voraussetzung zur Teilnahme.

Die zweite Klausur Informatik 1 findet am Donnerstag, den 24. September 2009, von 10.00 bis 12.00 Uhr in Hörsaal I im WiSo-Hochhaus statt.