Einführung in die theoretische Informatik, SoSe 2026

Inhalte: Grundlagen aus den Gebieten Algorithmen und Datenstrukturen, einschließlich der Korrektheit und der Analyse der Komplexität von Algorithmen, Boolesche Formeln, formale Sprachen und Automaten am Beispiel von regulären Sprachen und endlichen Automaten. Effiziente Algorithmen für grundlegende Probleme und Entwurfsstrategien zur Konstruktion von Algorithmen sowie die Analyse ihrer Berechnungskomplexität.

Voraussetzungen: Es werden allgemeine Kenntnisse zur Mathematik und zur Programmierung vorausgesetzt.

SWS: 2/2/–

Prüfung: 90-minütige Klausur

Hilfsmittel: Ein beidseitig eigenhändig beschriebenes A4-Blatt, beschriftet mit Matrikelnummer bzw. Weiterbildungs-ID

Module:

• Diplom Wirtschaftsinformatik: D-WW-EINF (2015), WW-D-ETIF (2024)
• Bachelor Wirtschaftspädagogik: INF-BAWP-INF-04 (2015), WW-BA-ETIF (2024)
• Lehramt: INF-SEBS-INF-04, INF-SEGY-INF-04, INF-SEMS-INF-04 (2018), INF-SEBS-12, INF-SEGY-12 (2023)
• Berufsbegleitende wissenschaftliche Qualifizierung für Lehrkräfte: BQL-GY-INF-04, BQL-BS-INF-04 (2021)

Empfohlene Literatur: Uwe Schöning: Ideen der Informatik: Grundlegende Modelle und Konzepte der theoretischen Informatik, 3. korrigierte Auflage, Oldenbourg Verlag, München, 2008.

Kontakt: persönlich nach der Vorlesung, Matrix (@s1628201:tu-dresden.de), E-Mail, Forum, Büro (APB/3030)