Avatar vom Dozent:in

Theoretische Informatik edit

Modulverantwortlich Prof. Dr. Florian Niebling
Dozent:innen Prof. Dr. Florian Niebling
Kürzel TI
Sprache deutsch
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.
Weitere Informationen zum Modul siehe Ilias open_in_new
Studienleistungen Klausurarbeit
Level Grundlagen
Häufigkeit des Angebots jedes Wintersemester
Verwendung des Moduls in weiteren Studiengängen Informatik
Präsenzzeit in Stunden 64
Selbststudium in Stunden 86
Lehrformen Vorlesung 2 SWS, Übung 2 SWS
Lehrmethoden Vermittlung der Theorie in der Vorlesung, Aufgaben zu den Lehrinhalten werden in kleinen Gruppen (Teamarbeit) selbständig gelöst. Die Lösungen sollen in den Übungsstunden vorgetragen und der Lösungsweg den Kommilitonen hierbei erläutert werden.
Letzte Aktualisierung 16. Februar 2024

Learning Outcome

(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.

Inhalte

Grundlagen

Logik und Boolesche Algebra

Reguläre Sprachen

Kontextfreie Sprachen

Kontextsensitive und rekursiv aufzählbare Sprachen

Berechenbarkeit, Entscheidbarkeit und Komplexität

Empfohlene 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

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