Technische Universität Ilmenau

Automaten und Logik - Modultafeln der TU Ilmenau

Die Modultafeln sind ein Informationsangebot zu unseren Studiengängen. Rechtlich verbindliche Angaben zum Verlauf des Studiums entnehmen Sie bitte dem jeweiligen Studienplan (Anlage zur Studienordnung). Bitte beachten Sie diesen rechtlichen Hinweis. Angaben zum Raum und Zeitpunkt der einzelnen Lehrveranstaltungen entnehmen Sie bitte dem aktuellen Vorlesungsverzeichnis.

Module

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
Logik und Logikprogrammierung 101309 2241
Theoretische Informatik 1751 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
Automatische Strukturen 101677 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
Public Key Kryptographie 5745 2241
Spezielle Algorithmen 206 2241
Verifikation 101182 2241
Verifikation unendlicher Systeme 9185 2241
Webalgorithmen 8202 2241

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

Informationen und Handreichungen zur Pflege von Modul- und Fachbeschreibungen durch den Modul- oder Fachverantwortlichen finden Sie auf den Infoseiten zum Modulkatalog.