Algorithmik,Komplexität 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.
| Modulinformationen zum Modul Algorithmik,Komplexität und Logik im Studiengang Master Informatik 2013 | ||
|---|---|---|
| Modulname | Algorithmik,Komplexität und Logik | |
| Modulnummer | 8201 | |
| Fakultät | Fakultät für Informatik und Automatisierung | |
| Fachgebietsnummer | 2242 (Algorithmik) | |
| Modulverantwortliche(r) | Prof. Dr. Martin Dietzfelbinger | |
| Leistungspunkte | ||
| Verpflichtung | Wahlmodul | |
| Voraussetzungen | Pflichtmodule „Grundstrukturen der Theoretischen Informatik“, „Algorithmen und Komplexität“ aus dem Bachelorstudiengang Informatik; weitere Voraussetzungen siehe die jeweilige Fachbeschreibung | |
| Modulabschluss | Einzelleistungen | |
| Details zum Abschluss | ||
| Link zum Moodle-Kurs | ||
| Lehrende | ||
| 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 | ||
| Leistungspunkte | 5 | |
| Verpflichtung | Wahlmodul | |
| Modulabschluss | mehrere Teilleistungen | |
| Turnus | unbekannt | |
| Approximationsalgorithmen | ||
| Leistungspunkte | 5 | |
| Verpflichtung | Wahlmodul | |
| Modulabschluss | mehrere Teilleistungen | |
| Turnus | unbekannt | |
| Komplexitätstheorie | ||
| Leistungspunkte | 5 | |
| Verpflichtung | Wahlmodul | |
| Modulabschluss | mehrere Teilleistungen | |
| Turnus | unbekannt | |
| Spezielle Kapitel der Komplexitätstheorie und Berechenbarkeit | ||
| Leistungspunkte | 5 | |
| Verpflichtung | Wahlmodul | |
| Modulabschluss | mehrere Teilleistungen | |
| Turnus | unbekannt | |
| Ausgewählte Kapitel der Komplexitätstheorie / Algorithmik | ||
| Leistungspunkte | 5 | |
| Verpflichtung | Wahlmodul | |
| Modulabschluss | mehrere Teilleistungen | |
| Turnus | unbekannt | |
| Automatische Strukturen | ||
| Leistungspunkte | 5 | |
| Verpflichtung | Wahlmodul | |
| Modulabschluss | mehrere Teilleistungen | |
| Turnus | unbekannt | |
| Verifikation | ||
| Leistungspunkte | 5 | |
| Verpflichtung | Wahlmodul | |
| Modulabschluss | mehrere Teilleistungen | |
| Turnus | unbekannt | |