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 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:
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 ist das Modul Berechenbarkeit und Logik regelmäßig im Angebot; das Modul Spezielle Kapitel der Theoretischen Informatik gibt es in unregelmäßigen Abständen. 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.