Technische Universität Ilmenau

Automata and Logics - Modultafeln of TU Ilmenau

The module lists 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 electronic university catalogue.

Information and guidance on the maintenance of module descriptions by the module officers are provided at Module maintenance.

Please send information on missing or incorrect module descriptions directly to modulkatalog@tu-ilmenau.de.

Module (ab PStO 2021)

Modul Modulnummer# FachgebietFG Studiengang
Algorithmen, Automaten und Komplexität 200063 2241
Automaten und Formale Sprachen 200049 2241
Automatentheorie 200047 2241
Automatische Strukturen 200053 2241
Berechenbarkeit und Komplexität 200050 2241
Logik in der Informatik 200052 2241
Logik und Logikprogrammierung 200051 2241
Verifikation 200048 2241

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
Theoretische Informatik 1751 2241
Verifikation 101182 2241
Verifikation 101342 2241

Fächer

Fach Fachnummer# FachgebietFG Studiengang
Automaten und Formale Sprachen 5353 2241
Automaten und Komplexität 100535 2241
Automaten, Sprachen und Komplexität 100437 2241
Automatentheorie 9175 2241
Berechenbarkeit und Komplexitätstheorie 5346 2241
Effiziente Algorithmen 5347 2241
Formale Sprachen und Komplexität 1752 2241
Logik in der Informatik 9184 2241
Logik und Logikprogrammierung 100574 2241
Logische Strukturen 5355 2241
Methoden der Kryptographie 101140 2241
Parallele Algorithmen auf Gittern und Hypercubes 203 2241
Spezielle Algorithmen 206 2241
Verifikation unendlicher Systeme 9185 2241
Webalgorithmen 8202 2241

* Es werden nur Studiengänge in PO-Versionen ab einschl. 2008 betrachtet.