Automata and Logics - Interactive curriculae of TU Ilmenau
The interactive curriculae provide information on the degree programmes offered by the TU Ilmenau.
Please refer to the respective study and examination rules and regulations for the legally binding curricula (Annex Curriculum).
You can find all details on planned lectures and classes in the course catalogue.
Please note that this page is no longer updated. All modules and study plans from PO version 2021 onwards (Bachelor and Master study programs) are now available on the Campus Portal.
Module (ab PStO 2021)
| Modul | module number# | GroupFG | term | degree program |
|---|---|---|---|---|
| Algorithmen, Automaten und Komplexität | 200063 | 2241 | summer term only | (no course reference*) |
| Automaten und Formale Sprachen | 200049 | 2241 | winter term only | |
| Automatentheorie | 200047 | 2241 | summer term only | |
| Automatische Strukturen | 200053 | 2241 | winter term only | |
| Berechenbarkeit und Komplexität | 200050 | 2241 | summer term only | |
| Logik in der Informatik | 200052 | 2241 | summer term only | |
| Logik und Logikprogrammierung | 200051 | 2241 | winter term only | |
| Verification | 200048 | 2241 | winter term only |
Module (PStO vor 2021)
| Modul | module number# | GroupFG | degree program |
|---|---|---|---|
| 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# | GroupFG | degree program |
|---|---|---|---|
| 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.