Lehrangebot Sommersemester 2025 - Institut Theoretische Informatik

Version vom 04.04.2025

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-MOC , 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
CMS Research Project "Model Checking" CMS-PRO 0/0/12 englisch Dr. Klüppelholz Theoretische Informatik ZVZ AVO
Forschungsseminar "Formal Methods" INF-PM-FOR 0/2/0 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 ZVZ AVO wöchentlich
Profilprojekt "Forschungsprojekt Formale Methoden" INF-PM-FPG 8P/PB deutsch/englisch Prof. Baier Theoretische Informatik ZVZ AVO
Proseminar "Binäre Entscheidungsgraphen" INF-B-610 , INF-D-520 0/2/0 deutsch Dr. Klüppelholz Theoretische Informatik ZVZ AVO
Proseminar "Theoretische Informatik" INF-B-610 , INF-D-520 0/2/0 deutsch Dr. Klüppelholz Theoretische Informatik Ü ZVZ 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 Ü ZVZ AVO wöchentlich
Team Project "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
Particle Methods CMS-CE-EL1 , CMS-CE-EL2 , CMS-CLS-ELG , CMS-CMA-ELV1 , CMS-CMA-ELV2 , CMS-EE-EL1 , CMS-EE-EL2 , CMS-VC-ELV1 , CMS-VC-ELV2 2/2/0 englisch Dr. Pahlke Theoretische Informatik V
Ü
Mittwoch
Freitag
3.
3.
APB/E023/U
APB/E009/U
wöchentlich
wöchentlich

Automatentheorie

nach oben
Lehrveranstaltung Modul SWS Sprache Dozent Institut Art Tag DS Raum Woche
Building and Maintaining Ontologies in the Description Logic EL CMS-LM-ADV , CMS-LM-AI , INF-B-510 , INF-B-520 , INF-BAS2 , INF-BAS6 , INF-PM-FOR , INF-VERT2 , INF-VERT6 2/2/0 englisch Dr. Kriegel Theoretische Informatik V
Ü
Mittwoch
Freitag
2.
4.
APB/E005/U
APB/E010/U
wöchentlich
wöchentlich
Description Logic CMS-LM-ADV , CMS-LM-AI , INF-04-FG-TP , INF-B-510 , INF-B-520 , INF-BAS2 , INF-BAS6 , INF-VERT2 , INF-VERT6 , MCL-AI , MCL-PI , MCL-TCSL 4/2/0 englisch Prof. Baader Theoretische Informatik V
V
Ü
Dienstag
Donnerstag
Mittwoch
6.
6.
5.
APB/E005/U
APB/E005/U
APB/E005/U
wöchentlich
wöchentlich
wöchentlich
Einführung in die (theoretische) Informatik D-WW-EINF , INF-BAWP-INF-04 , INF-BBQ-GY-INF-04 , INF-SEBS-INF-04 , INF-SEGY-INF-04 , INF-SEMS-INF-04 , WW-BA-ETIF , WW-D-ETIF 2/2/0 deutsch Dr.-Ing. Borgwardt Theoretische Informatik V
Ü
Ü
Ü
Donnerstag
Donnerstag
Mittwoch
Montag
3.
4.
4.
2.
BAR/SCHÖ/E
APB/E006/U
APB/E005/U
APB/E006/U
wöchentlich
wöchentlich
wöchentlich
wöchentlich
Erweitertes Komplexpraktikum Theoretische Informatik INF-MA-PR 0/0/8 dt,en Prof. Baader, Dr.-Ing. Borgwardt Theoretische Informatik ZVZ AVO
Forschungsprojekt Theoretische Informatik INF-PM-FPG 0/0/8 deutsch Prof. Baader, Dr. Claußnitzer Theoretische Informatik ZVZ AVO
Komplexpraktikum Theoretische Informatik INF-MA-PR 0/0/4 deutsch/englisch Prof. Baader, Dr. Siahaan Theoretische Informatik ZVZ AVO
Modeling Project Theoretical Computer Science CMS-PRO 0/0/12 deutsch/englisch Prof. Baader, Dr. Kriegel Theoretische Informatik ZVZ AVO
Praktikum Verarbeitung natürlicher Sprachen INF-04-KP , INF-B-510 , INF-B-520 , INF-MA-PR , INF-VERT2 , INF-VERT6 0/0/4 deutsch Prof. Baader Theoretische Informatik P Dienstag 2. APB/E065 wöchentlich
Project Group Theoretical Computer Science MCL-P 0/0/4 englisch Prof. Baader, Dr.-Ing. Borgwardt Theoretische Informatik ZVZ AVO
Proseminar Perlen der Theoretischen Informatik und Logik INF-B-510 , INF-B-520 , INF-B-610 , INF-D-520 0/2/0 englisch Dr. Claußnitzer Theoretische Informatik ZVZ AVO
Seminar Theoretical Computer Science CMS-LM-ADV , CMS-LM-AI , CMS-SEM-A , INF-04-HS , INF-AQUA , INF-D-940 , MCL-PS 0/2/0 englisch Prof. Baader, Dr. Kriegel Theoretische Informatik Ü Mittwoch 1. AVO wöchentlich

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
Concurrency Theory CMS-LM-ADV , CMS-LM-MOC , INF-B-510 , INF-B-520 , INF-BAS6 , INF-PM-FOR , INF-VERT6 , MCL-TCSL 2/2/0 englisch Dr. Mennicke Theoretische Informatik V
Ü
Dienstag
Montag
3.
4.
APB/E005/U
APB/E005/U
wöchentlich
wöchentlich
Database Theory CMS-LM-ADV , CMS-LM-MOC , INF-B-510 , INF-B-520 , INF-BAS6 , INF-PM-FOR , INF-VERT6 , MCL-KR , MCL-PI , MCL-TCSL 4/2/0 englisch Prof. Krötzsch Theoretische Informatik V
V
Ü
Dienstag
Montag
Dienstag
2.
2.
5.
APB/E005/U
APB/E007/U
APB/E005/U
wöchentlich
wöchentlich
wöchentlich
Erweitertes Komplexpraktikum Wissensbasierte Systeme 1 INF-B-510 , INF-B-520 , INF-MA-PR 0/0/4 deutsch Prof. Krötzsch, Dr. Mennicke Theoretische Informatik ZVZ AVO
Erweitertes Komplexpraktikum Wissensbasierte Systeme 2 INF-B-510 , INF-B-520 , INF-MA-PR 0/0/4 deutsch Prof. Krötzsch, Dr. Mennicke Theoretische Informatik ZVZ AVO
Forschungsprojekt Wissensbasierte Systeme INF-PM-FPA , INF-PM-FPG 0/0/8 deutsch Prof. Krötzsch, Dr. Mennicke Theoretische Informatik ZVZ AVO
Forschungsprojekt Wissensbasierte Systeme (CMS) CMS-PRO 0/0/12 englisch Prof. Krötzsch, Dr. Mennicke 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
Recent Topics in Knowledge Graphs CMS-LM-ADV , CMS-LM-AI , CMS-LM-MOC , CMS-SEM , INF-AQUA , INF-B-510 , INF-B-520 , INF-D-940 , MCL-PS 0/2/0 englisch Prof. Krötzsch, Hanisch Theoretische Informatik Ü Donnerstag 5. AVO wöchentlich
Teamprojekt Wissensbasierte Systeme (CMS) CMS-LM-TEA 0/0/8 englisch Prof. Krötzsch, Dr. Mennicke Theoretische Informatik ZVZ AVO

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 2025 - Institut Theoretische Informatik