Zur Struktur unseres Lehrangebotes
Bachelor-Lehre
Wir bieten im Wintersemester die Veranstaltung Diskrete Strukturen und im Sommersemester die Veranstaltung Automaten und Formale Sprachen an. Diskrete Strukturen bildet zusammen mit Elementare Logik ein Modul, zu welchem es eine gemeinsame Abschlussprüfung gibt. Ebenso bilden Automaten und Formale Sprachen und Berechenbarkeit und Komplexität ein Modul mit einer gemeinsamen Abschlussprüfung. Zu Beginn eines jeden Wintersemesters, vereinzelt auch zum Sommersemester, bieten wir (bzw. zum Sommersemester auch Philipp Kindermann und Jacqueline Staub) einen Vorkurs an. Der Musterstudienplan für Studenten der Informatik, Bachelor, sieht dann so aus, wobei nach Studienbeginn zum Winter- und Sommersemester unterschieden wird.
| Beginn zum Wintersemester | Beginn zum Sommersemester | |
|---|---|---|
Vorkurs | Formale Grundlagen der Informatik | (Grundbegriffe der Theoretischen Informatik) |
Fachsemester 1 | Diskrete Strukturen | Elementare Logik |
Fachsemester 2 | Elementare Logik | Diskrete Strukturen |
Fachsemester 3 | Automaten und Formale Sprachen | |
Fachsemester 4 | Automaten und Formale Sprachen | Berechenbarkeit und Komplexität |
Fachsemester 5 | Berechenbarkeit und Komplexität | |
Fachsemester 6 |
Dies ist nur ein Vorschlag. Prinzipiell können die einzelnen Veranstaltungen in beliebiger Reihenfolge und in beliebigen Fachsemestern besucht werden. Allerdings wird bei den üblicherweise im 3.-5. Fachsemester angesiedelten Veranstaltungen eine gewisse Vertrautheit mit den in der Regel im 1.-2. Fachsemester erworbenen mathematischen Sprechweisen vorausgesetzt.
Master-Lehre
Wir bieten die meisten Veranstaltungen in einem zweijährigen Zyklus (mit seinem Beginn in geraden Jahren) an; dieser Zyklus verschiebt sich manchmal aufgrund von Forschungsfreisemestern. Anfänglich war der folgende Rhythmus vorgesehen:
Wintersemester | Komplexitäts- theorie A | approximative Algorithmen | ||
|---|---|---|---|---|
Sommersemester | Formale Sprachen A | Daten- kompression | ||
| darauffolgendes Wintersemester | Komplexitäts- theorie B | parametrisierte Algorithmen | ||
| darauffolgendes Sommersemester | Formale Sprachen B | Lern- algorithmen |
Die mit A und B scheinbar "durchnummerierten" Veranstaltungen bauen nicht direkt aufeinander auf. In der Regel widmet sich die A-Veranstaltung dem Thema in der Breite, wohingegen die B-Veranstaltung eher in die Tiefe geht. Weiterhin werden die Module Berechenbarkeit und Logik und Spezielle Kapitel der Theoretischen Informatik in unregelmäßigen Abständen angeboten. Allgemeiner gesprochen gibt es zu den genannten Modulen verschiedene, wechselnde Ausprägungen, wie dies auch den Modulbeschreibungen zu entnehmen ist. Dies trägt auch den sich wandelnden Forschungsinteressen am Lehrstuhl Rechnung. Schließlich gehören Seminare, Forschungspraktika und Abschlussarbeiten zu unserem Lehrangebot. Fragen Sie uns hierzu gern Näheres. Informieren Sie sich auch über unsere aktuelle Forschung.