Technische Universität Ilmenau

Algorithmik,Komplexität und Logik - Modultafeln der TU Ilmenau

Die Modultafeln 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.

Informationen und Handreichungen zur Pflege von Modulbeschreibungen durch die Modulverantwortlichen finden Sie unter Modulpflege.

Hinweise zu fehlenden oder fehlerhaften Modulbeschreibungen senden Sie bitte direkt an modulkatalog@tu-ilmenau.de.

Modulinformationen zum Modul Algorithmik,Komplexität und Logik im Studiengang Master Informatik 2013
ModulnameAlgorithmik,Komplexität und Logik
Modulnummer8201
FakultätFakultät für Informatik und Automatisierung
Fachgebietsnummer 2242 (Komplexitätstheorie und Effiziente Algorithmen)
Modulverantwortliche(r)Prof. Dr. Martin Dietzfelbinger
Leistungspunkte
VerpflichtungWahlmodul
Voraussetzungen

Pflichtmodule „Grundstrukturen der Theoretischen Informatik“, „Algorithmen und Komplexität“ aus dem Bachelorstudiengang Informatik; weitere Voraussetzungen siehe die jeweilige Fachbeschreibung 

ModulabschlussEinzelleistungen
Details zum Abschluss
Alternative Abschlussform aufgrund verordneter Corona-Maßnahmen inkl. technischer Voraussetzungen
Anmeldemodalitäten für alternative PL oder SL
Lernergebnisse und erworbene Kompetenzen

Der Modul beinhaltet vertiefende Fächer, die sich mit Fragen aus mehreren Richtungen der Theoretischen Informatik auseinandersetzen, insbesondere aus dem Bereich der Algorithmik, der Komplexitätstheorie, der Automatentheorie und der Logik. Die Studierenden erwerben Fachkenntnisse in den gewählten Fächern sowie die Fähigkeit zur wissenschaftlichen Arbeit im Bereich der Theoretischen Informatik.


Die Fächer sind dem jeweils gültigen Katalog der Vertiefungsgebiete zu entnehmen.


Die Lernergebnisse und Kompetenzen sind in den Fachbeschreibungen dargestellt.

Das Modul beinhaltet die folgenden Fächer:
Logik in der Informatik
Leistungspunkte5
VerpflichtungWahlmodul
Modulabschlussmehrere Teilleistungen
Turnusunbekannt
Approximationsalgorithmen
Leistungspunkte5
VerpflichtungWahlmodul
Modulabschlussmehrere Teilleistungen
Turnusunbekannt
Komplexitätstheorie
Leistungspunkte5
VerpflichtungWahlmodul
Modulabschlussmehrere Teilleistungen
Turnusunbekannt
Spezielle Kapitel der Komplexitätstheorie und Berechenbarkeit
Leistungspunkte5
VerpflichtungWahlmodul
Modulabschlussmehrere Teilleistungen
Turnusunbekannt
Ausgewählte Kapitel der Komplexitätstheorie / Algorithmik
Leistungspunkte5
VerpflichtungWahlmodul
Modulabschlussmehrere Teilleistungen
Turnusunbekannt
Automatische Strukturen
Leistungspunkte5
VerpflichtungWahlmodul
Modulabschlussmehrere Teilleistungen
Turnusunbekannt
Verifikation
Leistungspunkte5
VerpflichtungWahlmodul
Modulabschlussmehrere Teilleistungen
Turnusunbekannt