Lehrangebot Sommersemester 2026 - Institut Theoretische Informatik

Version vom 20.03.2026

Algebraische und logische Grundlagen der Informatik

nach oben
Lehrveranstaltung Modul SWS Sprache Dozent Institut Art Tag DS Raum Woche
Advanced Logics CMS-LM-ADV , CMS-LM-AI , CMS-LM-MOC , INF-25-MA-FTK-TI , INF-B-510 , INF-B-520 , INF-BAS6 , INF-VERT6 , MCL-AL 4/2/0 englisch Prof. Baier, Dr. Piribauer Theoretische Informatik V
V
Ü
Donnerstag
Freitag
Donnerstag
2.
2.
3.
APB/E005/U
APB/E005/U
APB/E005/U
wöchentlich
wöchentlich
wöchentlich
Analyse eines Forschungsthemas: Algebraische und logische Grundlagen der Informatik INF-D-960 Projektbearbeitungen (15 Wochen) deutsch Prof. Baier Theoretische Informatik ZVZ AVO
Analyse eines Forschungsthemas: Algebraische und logische Grundlagen der Informatik INF-25-MA-AFT Projekte (40 Stunden) deutsch/englisch Prof. Baier Theoretische Informatik ZVZ AVO
Bachelorseminar: Algebraische und logische Grundlagen der Informatik INF-25-BA-BASE 0/4/0 deutsch Prof. Baier Theoretische Informatik ZVZ AVO
Belegseminar: Algebraische und logische Grundlagen der Informatik INF-25-MA-BSEM 0/4/0 deutsch/englisch Prof. Baier Theoretische Informatik ZVZ AVO
CMS-Forschungsprojekt "Model Checking" CMS-PRO 0/0/12 englisch Dr. Klüppelholz Theoretische Informatik ZVZ AVO
Forschungsprojekt: Algebraische und logische Grundlagen der Informatik INF-25-MA-FP Projekte (100 Stunden) deutsch/englisch Prof. Baier Theoretische Informatik ZVZ AVO
Forschungsseminar "Formal Methods" INF-PM-FOR 0/2/0 englisch Prof. Baier Theoretische Informatik ZVZ AVO
Großer Beleg: Algebraische und logische Grundlagen der Informatik INF-D-950 Projektbearbeitungen (20 Wochen) deutsch Prof. Baier Theoretische Informatik ZVZ AVO
Großer Beleg: Algebraische und logische Grundlagen der Informatik INF-25-MA-GB Projekte (100 Stunden) deutsch/englisch Prof. Baier Theoretische Informatik ZVZ AVO
Komplexpraktikum "Modellierung und quantitative Systemanalyse I" INF-MA-PR 0/0/4 deutsch/englisch Prof. Baier Theoretische Informatik ZVZ AVO
Komplexpraktikum "Modellierung und quantitative Systemanalyse II" INF-MA-PR 0/0/8 deutsch/englisch Prof. Baier Theoretische Informatik ZVZ AVO
Laborkurs "Modeling and Automated Verification" CMS-LM-ADV , CMS-LM-MOC , MCL-PS 0/2/0 englisch Prof. Baier Theoretische Informatik P Freitag 8. AVO wöchentlich
Profilprojekt "Forschungsprojekt Formale Methoden" INF-PM-FPG 8P/PB deutsch/englisch Prof. Baier Theoretische Informatik ZVZ AVO
Profilprojekt Anwendungsforschung in der Informatik: Algebraische und logische Grundlagen der Inf. INF-PM-FPA 8P/PB deutsch Prof. Baier Theoretische Informatik ZVZ AVO
Profilprojekt Grundlagenforschung in der Informatik: Algebraische und logische Grundlagen der Inf. INF-PM-FPG 8P/PB deutsch Prof. Baier Theoretische Informatik ZVZ AVO
Proseminar "Binäre Entscheidungsgraphen" INF-25-BA-WIA , INF-B-610 , INF-D-520 0/2/0 deutsch Dr. Klüppelholz Theoretische Informatik ZVZ AVO
Proseminar "Theoretische Informatik" INF-25-BA-WIA , INF-B-610 , INF-D-520 0/2/0 deutsch Dr. Klüppelholz Theoretische Informatik Ü Freitag 8. AVO wöchentlich
Seminar "Selected Topics in Logic and Verification" CMS-LM-ADV , CMS-LM-MOC , CMS-SEM-A , INF-AQUA , INF-B-510 , INF-B-520 , INF-D-940 , MCL-PS 0/2/0 englisch Prof. Baier Theoretische Informatik Ü Freitag 8. AVO wöchentlich
Teamprojekt "Model Checking" CMS-LM-TEA 0/0/8 englisch Dr. Klüppelholz Theoretische Informatik ZVZ AVO

Algorithmik

nach oben
Lehrveranstaltung Modul SWS Sprache Dozent Institut Art Tag DS Raum Woche
Algorithmen und Datenstrukturen INF-25-BA-AUD , INF-B-210 , INF-D-210 , INF-LE-EUI , INF-LE-GEO , INF-LE-MA , INF-LE-PHY , INF-SEGY-INF-02 , INF-SEMS-INF-02 , MATH-BA-INFA , MATH-MA-INFADS , PHY-BA-NPW-INF 2/2/0 deutsch Prof. Dr. Kozma Theoretische Informatik V
Ü
Ü
Ü
Ü
Ü
Ü
Ü
Ü
Ü
Ü
Ü
Ü
Ü
Ü
Mittwoch
Dienstag
Dienstag
Dienstag
Dienstag
Donnerstag
Donnerstag
Donnerstag
Freitag
Freitag
Freitag
Mittwoch
Mittwoch
Montag
Montag
4.
2.
4.
5.
6.
4.
5.
6.
3.
4.
5.
5.
6.
4.
5.
HSZ/0003/H
APB/E009/U
APB/E001/U
SE1/0101/U
VMB/0302/U
APB/E009/U
APB/E008/U
APB/E008/U
BZW/A152/U
BZW/A152/U
BAR/0218/U
POT/0106/U
VMB/0E02/U
APB/E006/U
BAR/0218/U
wöchentlich
wöchentlich
wöchentlich
wöchentlich
wöchentlich
wöchentlich
wöchentlich
wöchentlich
wöchentlich
wöchentlich
wöchentlich
wöchentlich
wöchentlich
wöchentlich
wöchentlich
Analyse eines Forschungsthemas: Algorithmik INF-D-960 Projektbearbeitungen (15 Wochen) deutsch Prof. Dr. Kozma Theoretische Informatik ZVZ AVO
Analyse eines Forschungsthemas: Algorithmik INF-25-MA-AFT Projekte (40 Stunden) deutsch/englisch Prof. Dr. Kozma Theoretische Informatik ZVZ AVO
Bachelorseminar: Algorithmik INF-25-BA-BASE 0/4/0 deutsch Prof. Dr. Kozma Theoretische Informatik ZVZ AVO
Belegseminar: Algorithmik INF-25-MA-BSEM 0/4/0 deutsch/englisch Prof. Dr. Kozma Theoretische Informatik ZVZ AVO
Doktorandenseminar Algorithmik FAK-INF-FF 0/0/2 deutsch Prof. Dr. Kozma Theoretische Informatik Ü
Ü
Donnerstag
Donnerstag
5.
5.
APB/E005/U
AVO
wöchentlich
wöchentlich
Forschungsprojekt: Algorithmik INF-25-MA-FP Projekte (100 Stunden) deutsch/englisch Prof. Dr. Kozma Theoretische Informatik ZVZ AVO
Großer Beleg: Algorithmik INF-D-950 Projektbearbeitungen (20 Wochen) deutsch Prof. Dr. Kozma Theoretische Informatik ZVZ AVO
Großer Beleg: Algorithmik INF-25-MA-GB Projekte (100 Stunden) deutsch/englisch Prof. Dr. Kozma Theoretische Informatik ZVZ AVO
Komplexpraktikum "Algorithmen in der Anwendung" INF-B-510 , INF-MA-PR , INF-VERT2 , INF-VERT6 0/0/4 deutsch Dr. Mörbitz Theoretische Informatik Ü Dienstag 2. AVO wöchentlich
Profilprojekt Anwendungsforschung in der Informatik: Algorithmik INF-PM-FPA 8P/PB deutsch Prof. Dr. Kozma Theoretische Informatik ZVZ AVO
Profilprojekt Grundlagenforschung in der Informatik: Algorithmik INF-PM-FPG 8P/PB deutsch Prof. Dr. Kozma Theoretische Informatik ZVZ AVO
Randomized Algorithms CMS-LM-ADV , CMS-LM-MOC , INF-25-MA-FTK-TI , INF-B-510 , INF-B-520 , INF-BAS6 , INF-PM-ANW , INF-PM-FOR , INF-VERT6 4/2/0 englisch Prof. Dr. Kozma Theoretische Informatik V
V
Ü
Donnerstag
Mittwoch
Mittwoch
4.
2.
3.
APB/E005/U
APB/E005/U
APB/E005/U
wöchentlich
wöchentlich
wöchentlich
Seminar Computational Geometry CMS-LM-ADV , CMS-SEM-G , INF-25-BA-WIA , INF-AQUA , INF-B-610 , INF-BAS6 , INF-D-520 , INF-D-940 , INF-VERT6 0/2/0 englisch Dr. Dallant Theoretische Informatik Ü Dienstag 4. AVO wöchentlich
Seminar Streaming Algorithms CMS-LM-ADV , CMS-SEM-G , INF-25-BA-WIA , INF-AQUA , INF-B-510 , INF-B-520 , INF-BAS6 , INF-D-940 , INF-VERT6 0/2/0 englisch Prof. Dr. Kozma Theoretische Informatik Ü Montag 2. AVO wöchentlich

Algorithmische und strukturelle Graphentheorie

nach oben
Lehrveranstaltung Modul SWS Sprache Dozent Institut Art Tag DS Raum Woche
Algorithmic Graph Theory CMS-LM-ADV , CMS-LM-MOC , INF-25-MA-FTK-TI , INF-B-510 , INF-B-520 , INF-BAS6 , INF-PM-ANW , INF-PM-FOR , INF-VERT6 4/2/0 englisch Prof. Dr. Neuen Theoretische Informatik V
V
V
Dienstag
Freitag
Mittwoch
4.
4.
5.
APB/E005/U
APB/E005/U
APB/E005/U
wöchentlich
wöchentlich
wöchentlich
Analyse eines Forschungsthemas: Algorithmische und strukturelle Graphentheorie INF-D-960 Projektbearbeitungen (15 Wochen) deutsch Prof. Dr. Neuen Theoretische Informatik ZVZ AVO
Analyse eines Forschungsthemas: Algorithmische und strukturelle Graphentheorie INF-25-MA-AFT Projekte (40 Stunden) deutsch/englisch Prof. Dr. Neuen Theoretische Informatik ZVZ AVO
Bachelorseminar: Algorithmische und strukturelle Graphentheorie INF-25-BA-BASE 0/4/0 deutsch Prof. Dr. Neuen Theoretische Informatik ZVZ AVO
Belegseminar: Algorithmische und strukturelle Graphentheorie INF-25-MA-BSEM 0/4/0 deutsch/englisch Prof. Dr. Neuen Theoretische Informatik ZVZ AVO
Forschungsprojekt: Algorithmische und strukturelle Graphentheorie INF-25-MA-FP Projekte (100 Stunden) deutsch/englisch Prof. Dr. Neuen Theoretische Informatik ZVZ AVO
Großer Beleg: Algorithmische und strukturelle Graphentheorie INF-D-950 Projektbearbeitungen (20 Wochen) deutsch Prof. Dr. Neuen Theoretische Informatik ZVZ AVO
Großer Beleg: Algorithmische und strukturelle Graphentheorie INF-25-MA-GB Projekte (100 Stunden) deutsch/englisch Prof. Dr. Neuen Theoretische Informatik ZVZ AVO
Profilprojekt Anwendungsforschung in der Informatik: Algorithmische und strukturelle Graphentheorie INF-PM-FPA 8P/PB deutsch Prof. Dr. Neuen Theoretische Informatik ZVZ AVO
Profilprojekt Grundlagenforschung in der Informatik: Algorithmische und strukturelle Graphentheorie INF-PM-FPG 8P/PB deutsch Prof. Dr. Neuen Theoretische Informatik ZVZ AVO
Selected Topics in Graph Algorithms CMS-LM-ADV , CMS-SEM , INF-25-BA-WIA , INF-AQUA , INF-B-610 , INF-D-520 , INF-D-940 0/2/0 englisch Prof. Dr. Neuen Theoretische Informatik Ü Freitag 8. AVO wöchentlich

Automatentheorie

nach oben
Lehrveranstaltung Modul SWS Sprache Dozent Institut Art Tag DS Raum Woche
Analyse eines Forschungsthemas: Automatentheorie INF-D-960 Projektbearbeitungen (15 Wochen) deutsch Prof. Baader Theoretische Informatik ZVZ AVO
Analyse eines Forschungsthemas: Automatentheorie INF-25-MA-AFT Projekte (40 Stunden) deutsch/englisch Prof. Baader Theoretische Informatik ZVZ AVO
Belegseminar: Automatentheorie INF-25-MA-BSEM 0/4/0 deutsch/englisch Prof. Baader Theoretische Informatik ZVZ AVO
Building and Maintaining Ontologies in the Description Logic EL CMS-LM-ADV , CMS-LM-AI , INF-25-MA-FTK-TI , INF-B-510 , INF-B-520 , INF-BAS2 , INF-BAS6 , INF-PM-FOR , INF-VERT2 , INF-VERT6 2/1/0 englisch Dr. Kriegel Theoretische Informatik V
Ü
Dienstag
Dienstag
5.
4.
BAR/I86C/U
BAR/0I89/U
wöchentlich
2.Woche
Einführung in die theoretische Informatik BQL-BS-INF-04 , BQL-FS-INF-04 , BQL-GY-INF-04 , BQL-OS-INF-04 , INF-25-BA-ETHI , INF-LE-WW , INF-SEBS-INF-12 , INF-SEGY-INF-12 , WW-BA-ETIF , WW-D-ETIF 2/2/0 deutsch Dr.-Ing. Borgwardt Theoretische Informatik ZVZ AVO
Erweitertes Komplexpraktikum Theoretische Informatik INF-MA-PR 0/0/8 dt,en Prof. Baader, Dr.-Ing. Borgwardt Theoretische Informatik ZVZ AVO
Forschungsprojekt: Automatentheorie INF-25-MA-FP Projekte (100 Stunden) deutsch/englisch Prof. Baader Theoretische Informatik ZVZ AVO
Großer Beleg: Automatentheorie INF-D-950 Projektbearbeitungen (20 Wochen) deutsch Prof. Baader Theoretische Informatik ZVZ AVO
Großer Beleg: Automatentheorie INF-25-MA-GB Projekte (100 Stunden) deutsch/englisch Prof. Baader Theoretische Informatik ZVZ AVO
Komplexpraktikum Theoretische Informatik INF-MA-PR 0/0/4 deutsch/englisch Prof. Baader, Dr.-Ing. Borgwardt Theoretische Informatik ZVZ AVO
Modeling Project Theoretical Computer Science CMS-PRO 0/0/12 deutsch/englisch Prof. Baader, Dr. Claußnitzer Theoretische Informatik ZVZ AVO
Profilprojekt Anwendungsforschung in der Informatik: Automatentheorie INF-PM-FPA 8P/PB deutsch Prof. Baader, Dr. Claußnitzer Theoretische Informatik ZVZ AVO
Profilprojekt Grundlagenforschung in der Informatik: Automatentheorie INF-PM-FPG 8P/PB deutsch Prof. Baader, Dr. Claußnitzer Theoretische Informatik ZVZ AVO
Seminar Automata Theory INF-04-HS , INF-AQUA , INF-D-940 , MCL-PS 0/2/0 deutsch/englisch Prof. Baader Theoretische Informatik ZVZ AVO

Grundlagen der Programmierung

nach oben
Dieser Lehrstuhl bietet in diesem Semester keine Lehrveranstaltungen an.

Wissensbasierte Systeme

nach oben
Lehrveranstaltung Modul SWS Sprache Dozent Institut Art Tag DS Raum Woche
Analyse eines Forschungsthemas: Wissensbasierte Systeme INF-D-960 Projektbearbeitungen (15 Wochen) deutsch Prof. Krötzsch Theoretische Informatik ZVZ AVO
Analyse eines Forschungsthemas: Wissensbasierte Systeme INF-25-MA-AFT Projekte (40 Stunden) deutsch/englisch Prof. Krötzsch Theoretische Informatik ZVZ AVO
Bachelorseminar: Wissensbasierte Systeme INF-25-BA-BASE 0/4/0 deutsch Prof. Krötzsch Theoretische Informatik ZVZ AVO
Belegseminar: Wissensbasierte Systeme INF-25-MA-BSEM 0/4/0 deutsch/englisch Prof. Krötzsch Theoretische Informatik ZVZ AVO
Forschungsprojekt Wissensbasierte Systeme (CMS) CMS-PRO 0/0/12 englisch Prof. Krötzsch, Dr. Mennicke Theoretische Informatik ZVZ AVO
Forschungsprojekt: Wissensbasierte Systeme INF-25-MA-FP Projekte (100 Stunden) deutsch/englisch Prof. Krötzsch, Dr. Mennicke Theoretische Informatik ZVZ AVO
Forschungsprojekt: Wissensbasierte Systeme INF-25-MA-FP Projekte (100 Stunden) deutsch/englisch Prof. Krötzsch, Dr. Mennicke Theoretische Informatik ZVZ AVO
Großer Beleg: Wissensbasierte Systeme INF-D-950 Projektbearbeitungen (20 Wochen) deutsch Prof. Krötzsch Theoretische Informatik ZVZ AVO
Großer Beleg: Wissensbasierte Systeme INF-25-MA-GB Projekte (100 Stunden) deutsch/englisch Prof. Krötzsch Theoretische Informatik ZVZ AVO
Profilprojekt Anwendungsforschung in der Informatik: Wissensbasierte Systeme INF-PM-FPA 8P/PB deutsch Prof. Krötzsch Theoretische Informatik ZVZ AVO
Profilprojekt Grundlagenforschung in der Informatik: Wissensbasierte Systeme INF-PM-FPG 8P/PB deutsch Prof. Krötzsch Theoretische Informatik ZVZ AVO
Project Group Knowledge-Based Systems (MCL) MCL-P 0/0/4 englisch Prof. Krötzsch, Dr. Mennicke Theoretische Informatik ZVZ AVO
Teamprojekt Wissensbasierte Systeme (CMS) CMS-LM-TEA 0/0/8 englisch Prof. Krötzsch, Dr. Mennicke Theoretische Informatik ZVZ AVO
Theoretische Informatik und Logik INF-25-BA-LUK , INF-B-290 , INF-D-330 , INF-LE-EUI 4/2/0 deutsch Prof. Krötzsch Theoretische Informatik V
V
Ü
Ü
Ü
Ü
Ü
Ü
Ü
Ü
Ü
Ü
Ü
Ü
Donnerstag
Montag
Dienstag
Donnerstag
Donnerstag
Freitag
Freitag
Freitag
Freitag
Mittwoch
Mittwoch
Mittwoch
Montag
Montag
4.
3.
5.
3.
5.
2.
3.
4.
5.
3.
4.
5.
5.
6.
HSZ/0002/E
HÜL/S386/H
APB/E009/U
APB/E006/U
BAR/0E85/U
APB/E009/U
BAR/0I88/U
ZEU/0146/Z
APB/E001/U
APB/E008/U
APB/E006/U
APB/E010/U
APB/E008/U
APB/E001/U
wöchentlich
wöchentlich
wöchentlich
wöchentlich
wöchentlich
wöchentlich
wöchentlich
wöchentlich
wöchentlich
wöchentlich
wöchentlich
wöchentlich
wöchentlich
wöchentlich

Anmerkungen

nach oben

Tag/Raum

  • ZVZ ... zur vereinbarten Zeit
  • AVO ... am vereinbarten Ort

Wochen

  • wöch. ... wöchentlich
  • 1. Wo ... ungerade Kalenderwoche
  • 2. Wo ... gerade Kalenderwoche

Semester im Sinne der Prüfungsordnung. Die Module werden mit dem jeweiligen Fachsemester ausgewiesen, in dem sie beginnen - Mehrsemestrige Module werden demzufolge mit einem ggf. niedrigeren Fachsemester ausgewiesen als die Studierenden tatsächlich sind..

Master-Niveau Die Lehrveranstaltung ist an Master- bzw. Diplomstudenten im Hauptstudium gerichtet. Diese Angebot ist optional und nur für fortgeschrittene Studenten empfohlen.

Module Zusätzlich zu den Modulen aus Bachelor/Master/Diplom Informatik, Medieninformatik und Informationssystemtechnik gibt es noch folgende Module für andere Studiengänge

  • MCL-* ... Master Computational Logic
  • DSE-10* ... Master Distributed Systems Engineering (PO 2010)
  • DSE-14* ... Master Distributed Systems Engineering (PO 2014)
  • INF-LA* ... Bachelor/Master Lehramt
  • INF-SE* ... Staatsexamen Lehramt (Gymnasium, Mittelschule, berufsbildende Schulen)

und folgende Pseudo-Module für ältere Studiengänge und Sonstiges

  • INF-04* ... Diplom Informatik, Prüfungs-/ Studienordnung 2004
  • MINF-04* ... Diplom Medieninformatik, Prüfungs-/ Studienordnung 2004
  • IST-05* ... Diplom Informationssystemtechnik, Prüfungs-/ Studienordnung 2005-2010
  • INF-LE* ... Lehrexport an andere Fakultäten/Fachbereiche
  • FAK-INF-FF ... Fakultative Lehrveranstaltungen für alle Studierende an der Fakultät Informatik

Prüfungen Art und Dauer von Prüfungsleistungen sind den Modulbeschreibungen zu entnehmen. Ausnahmen hierfür sind die Module INF-AQUA, INF-B-510/20/30/40, INF-B-610 und INF-D-940 - hier wird die Prüfungsform der jeweiligen Lehrveranstaltung explizit angegeben. Mögliche Prüfungsformen sind:

  • Seminararbeit und Präsentation
  • P(m) ... mündliche Prüfung im angegebenen Umfang
  • P(s) ... schriftliche Prüfung im angegebenen Umfang
  • P(PP) ... Praktikumsprotokoll
  • P(sA) ... schriftliche Ausarbeitung
  • P(PA) ... Projektarbeit
  • P(PE) ... bewertbares Ergebnis des Praktikums

Lehrangebot Sommersemester 2026 - Institut Theoretische Informatik