Technische Universität Ilmenau

Grundstrukturen der Theoretischen Informatik - 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 Grundstrukturen der Theoretischen Informatik im Studiengang Bachelor Informatik 2010
ModulnameGrundstrukturen der Theoretischen Informatik
Modulnummer5354
FakultätFakultät für Informatik und Automatisierung
Fachgebietsnummer 2242 (Komplexitätstheorie und Effiziente Algorithmen)
Modulverantwortliche(r)Prof. Dr. Martin Dietzfelbinger
Leistungspunkte11
VerpflichtungPflichtmodul
Voraussetzungen

Algorithmen und Programmierung, Grundlagen und diskrete Strukturen, Mathematik für Informatiker 1

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 KompetenzenDie Studierenden kennen die grundlegenden
abstrakten Strukturen, die zum Design, zur Analyse und zur Benutzung von Programmen nötig sind:
Logische Systeme für die Spezifikation und die
Verifikation von Strukturen; Algorithmen und datenstrukturen für die Implementierung von
elementaren Strukturen; Automaten und Formale Sprachen für "finite-state-systems" und die
Grundlagen für die Verarbeitung von Programmiersprachen. Grundeigenschaften
der Systeme, Grundoperationen, Grundkonstruktionen sind bekannt.
Das Modul beinhaltet die folgenden Fächer:
Algorithmen und Datenstrukturen
Leistungspunkte4
VerpflichtungPflichtmodul
Modulabschlussschriftliche Prüfungsleistung, 90 Minuten
TurnusSommersemester
Automaten und Formale Sprachen
Leistungspunkte4
VerpflichtungPflichtmodul
Modulabschlussmündliche Prüfungsleistung, 20 Minuten
TurnusWintersemester
Logische Strukturen
Leistungspunkte3
VerpflichtungPflichtmodul
Modulabschlussschriftliche Prüfungsleistung, 90 Minuten
TurnusSommersemester