Avatar der/des Verantwortlichen

Theoretische Informatik edit

Modulverantwortlich Prof. Dr. Florian Niebling
Dozent:innen Prof. Dr. Florian Niebling
Kürzel TI
Sprache deutsch
Level Grundlagen
Kreditpunkte 5
Voraussetzungen nach Prüfungsordnung keine
Empfohlene Voraussetzungen Einfache Kenntnisse der naiven Mengenlehre, wie sie in der Schule vermittelt und bei der mathematischen Begriffsbildung verwendet werden.
Prüfungsformen E-Prüfung
Prüfer:innen Prof. Dr. Florian Niebling, Prof. Dr. Irma Lindt
Prüfungszeitpunkt Sommersemester Termin 1 (Juli), Sommersemester Termin 2 (Sep./Okt.), Wintersemester Termin 1 (Jan.-Apr.)
Häufigkeit des Angebots jedes Wintersemester
Letzte Aktualisierung 16. Juni 2026

Learning Outcomes

(WAS) Die Studierenden erlernen formale Grundlagen der Informatik wie Begriffe, Methoden, Modelle und Arbeitsweisen, (WOMIT) indem Sie Probleme abstrahieren und modellieren, etwa mithilfe logischer und algebraischer Kalküle, graphentheoretischer Notationen, formalen Sprachen und Automaten. (WOZU) um den algorithmischen Kern von Problemen identifizieren, passende Algorithmen entwerfen und implementieren, sowie bestehende Umsetzungen auf ihre Eigenschaften hin untersuchen zu können.

Inhalt

Grundlagen

Logik und Boolesche Algebra

Reguläre Sprachen

Kontextfreie Sprachen

Kontextsensitive und rekursiv aufzählbare Sprachen

Berechenbarkeit, Entscheidbarkeit und Komplexität

Methoden

Vorlesung 2 SWS, Übung 2 SWS

Literatur

Geförderter Kompetenzerwerb

Das Modul zahlt auf folgende Handlungsfelder und Kompetenzbereiche ein. Eine ausführliche Beschreibung der konkreten Komptenzen finden Sie weiter unten.

Designing for User Experiences

Developing Interactive and Distributed Systems

Exploring Advanced Interactive Media

Driving Creation Process

Enhancing Interactions on Different Scales

Designing for User Experiences

  • Konzepte

    • Haben ein ausgeprägtes konzeptionelles Denkvermögen entwickelt, um komplexe Probleme zu analysieren, innovative Lösungsansätze zu konzipieren und diese in verständliche und erfahrbare Konzepte zu überführen.

Developing Interactive and Distributed Systems

  • Technologie

    • Wissen was ein Computer ist und wie Software darauf ausgeführt wird.

  • Entwurf

    • Verstehen formale Strukturen.

    • Können abstrahieren, logisch denken und komplexe Zusammenhänge verstehen.

    • Können Aspekte realweltlicher Probleme zu identifizieren, die für eine informatische Modellierung geeignet sind, algorithmische Lösungen für diese (Teil-)Probleme bewerten und selbst so zu entwickeln, dass diese Lösungen mit einem Computer operationalisiert werden können.

Exploring Advanced Interactive Media

  • Medien

    • Haben vertiefte Kenntnisse in den Bereichen künstliche Intelligenz (KI) und maschinelles Lernen z.B. in der Implementierung von intelligentem Verhalten, maschinellem Sehen oder natürlicher Sprachverarbeitung.

  • Exploration & Kreativität

    • Können Ansätze, Denk- und Vorgehensweisen aus verschiedenen Fachrichtungen nutzen, kombinieren und einsetzen um neue Ideen und Lösungen zu erzeugen.

    • Sind neugierig, offen und in der Lage Fragen zu stellen, Unbekanntes zu erkunden und verschiedene Perspektiven zu berücksichtigen.

Enhancing Interactions on Different Scales

  • Selbstlernen

    • Können sich selbstständig neue Wissens- und Kompetenzbereiche zu Methoden, Technologien oder Domänen erschließen.

In der linken Spalte sehen Sie, welche Kompetenzen für das Modul vorausgesetzt werden (hellgrauer Balken). In der rechten Spalte sehen Sie, welche Kompetenzen Sie mit dem Modul erwerben können (farbiger Balken). Die Kompetenzen sind in Handlungsfelder und Bereiche gegliedert.

Wenn Sie auf den grauen oder farbigen Balken klicken, gelangen Sie zu einer Liste von Modulen, die auf diese Kompetenz einzahlen. Hier finden die eine Übersicht über alle Kompetenzen und die Module, die auf diese einzahlen.

arrow_upward