Automaten und Logik - Interaktive Studienpläne der TU Ilmenau
Die Interaktiven Studienpläne sind ein Informationsangebot zu den Studiengängen der TU Ilmenau.
Die rechtsverbindlichen Studienpläne entnehmen Sie bitte den jeweiligen Studien- und Prüfungsordnungen (Anlage Studienplan).
Alle Angaben zu geplanten Lehrveranstaltungen finden Sie im elektronischen Vorlesungsverzeichnis.
Bitte beachten Sie, dass auf dieser Seite keine Aktualisierungen mehr vorgenommen werden. Alle Module und Studienpläne ab der PO-Version 2021 (Bachelor- und Master-Studiengänge) sind ab sofort im Campus-Portal erreichbar.
Module (ab PStO 2021)
| Modul | Modulnummer# | FachgebietFG | Turnus | Studiengang |
|---|---|---|---|---|
| Algorithmen, Automaten und Komplexität | 200063 | 2241 | Sommersemester | (keine Zuordnung*) |
| Automaten und Formale Sprachen | 200049 | 2241 | Wintersemester | |
| Automatentheorie | 200047 | 2241 | Sommersemester | |
| Automatische Strukturen | 200053 | 2241 | Wintersemester | |
| Berechenbarkeit und Komplexität | 200050 | 2241 | Sommersemester | |
| Logik in der Informatik | 200052 | 2241 | Sommersemester | |
| Logik und Logikprogrammierung | 200051 | 2241 | Wintersemester | |
| Verification | 200048 | 2241 | Wintersemester |
Module (PStO vor 2021)
| Modul | Modulnummer# | FachgebietFG | Studiengang |
|---|---|---|---|
| Algorithmen, Automaten und Komplexität | 100321 | 2241 | |
| Automaten, Sprachen und Komplexität | 100337 | 2241 | |
| Automatentheorie | 101289 | 2241 | |
| Automatische Strukturen | 101676 | 2241 | |
| Logik in der Informatik | 101339 | 2241 | |
| Logik und Logikprogrammierung | 100339 | 2241 | |
| Verifikation | 101182 | 2241 | |
| Verifikation | 101342 | 2241 |
Fächer
| Fach | Fachnummer# | FachgebietFG | Studiengang |
|---|---|---|---|
| Automaten und Komplexität | 100535 | 2241 | |
| Automaten, Sprachen und Komplexität | 100437 | 2241 |
* Es werden nur Studiengänge in PO-Versionen ab einschl. 2008 betrachtet.