Course Catalog Sommersemester 2025 - Institute Theoretische Informatik

Version Date 06.04.2025

Algebraische und logische Grundlagen der Informatik

back to top
Course Module hours per week Language Lecturer Institute Type Day Slot Room Week
Advanced Logics CMS-LM-ADV , CMS-LM-MOC , INF-B-510 , INF-B-520 , INF-BAS6 , INF-VERT6 , MCL-AL 4/2/0 english 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 english Dr. Klüppelholz Theoretische Informatik TBA TBA
Research Seminar "Formal Methods" INF-PM-FOR 0/2/0 english Prof. Baier Theoretische Informatik TBA TBA
Komplexpraktikum "Modeling and Quantitative System Analysis I" INF-MA-PR 0/0/4 german/english Prof. Baier Theoretische Informatik TBA TBA
Komplexpraktikum "Modeling and Quantitative System Analysis II" INF-MA-PR 0/0/8 german/english Prof. Baier Theoretische Informatik TBA TBA
Lab Course "Modeling and Automated Verification" CMS-LM-ADV , CMS-LM-MOC , MCL-PS 0/2/0 english Prof. Baier Theoretische Informatik P TBA TBA wöchentlich
Introductory Project "Research Project Formal Methods" INF-PM-FPG 8P/PB german/english Prof. Baier Theoretische Informatik TBA TBA
Undergradute Seminar "Binary Decision Diagrams" INF-B-610 , INF-D-520 0/2/0 german Dr. Klüppelholz Theoretische Informatik TBA TBA
Undergraduate Seminar Theoretische Informatik INF-B-610 , INF-D-520 0/2/0 german Dr. Klüppelholz Theoretische Informatik Ü TBA TBA 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 english Prof. Baier Theoretische Informatik Ü TBA TBA wöchentlich
Team Project "Model Checking" CMS-LM-TEA 0/0/8 english Dr. Klüppelholz Theoretische Informatik TBA TBA

Algorithmik

back to top
Course Module hours per week Language Lecturer Institute Type Day Slot Room Week
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 english Dr. Pahlke Theoretische Informatik V
Ü
Mittwoch
Freitag
3.
3.
APB/E023/U
APB/E009/U
wöchentlich
wöchentlich

Automatentheorie

back to top
Course Module hours per week Language Lecturer Institute Type Day Slot Room Week
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 english 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 english 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
Introduction to (Theoretical) Computer Science 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 german 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
Extended Complex Project Theoretical Computer Science INF-MA-PR 0/0/8 dt,en Prof. Baader, Dr.-Ing. Borgwardt Theoretische Informatik TBA TBA
Research Project Theoretical Computer Science INF-PM-FPG 0/0/8 german Prof. Baader, Dr. Claußnitzer Theoretische Informatik TBA TBA
Complex Project Theoretical Computer Science INF-MA-PR 0/0/4 german/english Prof. Baader, Dr. Siahaan Theoretische Informatik TBA TBA
Modeling Project Theoretical Computer Science CMS-PRO 0/0/12 german/english Prof. Baader, Dr. Kriegel Theoretische Informatik TBA TBA
Project Natural Language Processing INF-04-KP , INF-B-510 , INF-B-520 , INF-MA-PR , INF-VERT2 , INF-VERT6 0/0/4 german Prof. Baader Theoretische Informatik P Dienstag 2. APB/E065 wöchentlich
Project Group Theoretical Computer Science MCL-P 0/0/4 english Prof. Baader, Dr.-Ing. Borgwardt Theoretische Informatik TBA TBA
Proseminar Pearls of Theoretical Computer Science and Logic INF-B-510 , INF-B-520 , INF-B-610 , INF-D-520 0/2/0 english Dr. Claußnitzer Theoretische Informatik TBA TBA
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 english Prof. Baader, Dr. Kriegel Theoretische Informatik Ü Mittwoch 1. TBA wöchentlich

Grundlagen der Programmierung

back to top
This chair offers no courses within the current semester

Wissensbasierte Systeme

back to top
Course Module hours per week Language Lecturer Institute Type Day Slot Room Week
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 english 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 english 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
Expanded Advanced Practical Course Knowledge-Based Systems 1 INF-B-510 , INF-B-520 , INF-MA-PR 0/0/4 german Prof. Krötzsch, Dr. Mennicke Theoretische Informatik TBA TBA
Expanded Advanced Practical Course Knowledge-Based Systems 2 INF-B-510 , INF-B-520 , INF-MA-PR 0/0/4 german Prof. Krötzsch, Dr. Mennicke Theoretische Informatik TBA TBA
Research Project Knowledge-Based Systems INF-PM-FPA , INF-PM-FPG 0/0/8 german Prof. Krötzsch, Dr. Mennicke Theoretische Informatik TBA TBA
Research Project Knowledge-Based Systems (CMS) CMS-PRO 0/0/12 english Prof. Krötzsch, Dr. Mennicke Theoretische Informatik TBA TBA
Project Group Knowledge-Based Systems (MCL) MCL-P 0/0/4 english Prof. Krötzsch, Dr. Mennicke Theoretische Informatik TBA TBA
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 english Prof. Krötzsch, Hanisch Theoretische Informatik Ü Donnerstag 5. TBA wöchentlich
Team Project Knowledge-Based Systems (CMS) CMS-LM-TEA 0/0/8 english Prof. Krötzsch, Dr. Mennicke Theoretische Informatik TBA TBA

Notes

back to top

Day/Room

  • ZVZ ... Time is to be announced or will be set on agreement between course participants
  • AVO ... Room is to be announced or will be set on agreement between course participants

Weeks

  • wöch. ... weekly
  • 1. Wo ... odd calendar week
  • 2. Wo ... even calendar week

semester as defined in the exam regulation. The modules are shown with their starting semester, thus modules taking more than one semester to complete may be shown with a lower semester number than the students actually have..

master level This course is intended for students in the master and diploma programs. This course is optional and only recommended for students with advanced knowledge.

module In addition to the modules of the Bachelor/Master/Diplom Informatik, Medieninformatik and Informationssystemtechnik programs the following modules for other study programs have been defined:

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

and the following pseudo modules for older non-modularized study programs

  • INF-04* ... Diplom Informatik, exam and/or study regulation as of 2004
  • MINF-04* ... Diplom Medieninformatik, exam and/or study regulation as of 2004
  • IST-05* ... Diplom Informationssystemtechnik, exam and/or study regulations as of 2005-2010
  • INF-LE* ... Courses offered to students of other departments
  • FAK-INF-FF ... Fakultative Lehrveranstaltungen für alle Studierende an der Fakultät Informatik

Exams The type and duration of exams are defined in the module handbook. Exceptions thereof are modules INF-AQUA, INF-B-510/20/30/40, INF-B-610 and INF-D-940 - the offered courses explicitly state the exam type and duration. Possible exam types are as follows::

  • Presentation and seminar paper
  • P(m) ... oral Exam (with stated duration)
  • P(s) ... written exam (with stated duration)
  • P(PP) ... Practical course protocol / Lab protocol
  • P(sA) ... written excerpt
  • P(PA) ... project paper
  • P(PE) ... gradeable outcome of a internship or project

Course Catalog Sommersemester 2025 - Institute Theoretische Informatik