Course Catalog Wintersemester 2021/2022 - Institute Theoretische Informatik

Version Date 09.10.2022

Algebraische und logische Grundlagen der Informatik

back to top
Course Module hours per week Language Lecturer Institute Type Day Slot Room Week
(Tutorial) Logic Programming Engineering CMS-LM-BAS , INF-BAS2 , MCL-LCP 0/2/0 english Dr. Klüppelholz Theoretische Informatik Ü Dienstag 4. APB/E069 wöchentlich
CMS Research Project Model Checking CMS-PROJ (0/0/12) english Dr. Klüppelholz Theoretische Informatik TBA TBA
Doktorandenseminar Advances in Probabilistic Model Checking FAK-INF-FF 0/2/0 english Prof. Baier Theoretische Informatik TBA TBA
Research Project „Formal Methods“ INF-PM-FPG 8P/PB german/english Prof. Baier Theoretische Informatik TBA TBA
Komplexpraktikum Modellierung und quantitative Systemanalyse I INF-04-KP , INF-04-P , INF-MA-PR , IST-05-KP 0/0/4 german Prof. Baier Theoretische Informatik TBA TBA
Komplexpraktikum Modellierung und quantitative Systemanalyse II INF-MA-PR 0/0/8 german 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 TBA TBA
Model Checking CMS-LM-ADV , CMS-LM-MOC , INF-B-510 , INF-B-520 , INF-BAS6 , INF-VERT6 , MCL-TCSL 4/4/0 english Prof. Baier, Dr. Klüppelholz Theoretische Informatik Ü
Ü
Donnerstag
Freitag
2. + 3.
2. + 3.
APB/E005/U
APB/E005/U
wöchentlich
wöchentlich
Project Group Model Checking MCL-P 0/0/4 english Prof. Baier Theoretische Informatik TBA TBA
Proseminar Theoretische Informatik INF-B-510 , INF-B-520 , INF-B-610 , INF-D-520 0/2/0 german Prof. Baier Theoretische Informatik TBA TBA
Seminar Selected Topics in Logic and Verification CMS-LM-ADV , CMS-LM-MOC , CMS-SEM , INF-04-HS , INF-AQUA , INF-D-940 , MCL-PS 0/2/0 english Prof. Baier Theoretische Informatik Ü Freitag 3. APB/E001/U wöchentlich
Team Project Model Checking CMS-LM-TEA 0/0/8 english Dr. Klüppelholz Theoretische Informatik TBA TBA

Automatentheorie

back to top
Course Module hours per week Language Lecturer Institute Type Day Slot Room Week
Forschungsprojekt Theoretische Informatik INF-PM-FPG 0/0/8 german Prof. Baader Theoretische Informatik TBA TBA
Fuzzy Description Logic CMS-LM-ADV , CMS-LM-AI , INF-B-510 , INF-B-520 , INF-BAS6 , INF-PM-FOR , INF-VERT6 , MCL-AI , MCL-KR , MCL-TCSL 2/2/0 english Dr.-Ing. Borgwardt Theoretische Informatik Ü Donnerstag 3. APB/E009/U wöchentlich
Introduction to Non-monotonic Reasoning CMS-LM-ADV , CMS-LM-AI , INF-B-510 , INF-B-520 , INF-BAS6 , INF-PM-FOR , INF-VERT6 , MCL-KR , MCL-TCSL 2/2/0 english Dr. Turhan Theoretische Informatik V
Ü
Mittwoch
Freitag
2.
4.
APB/E005/U
APB/E005/U
wöchentlich
wöchentlich
Komplexpraktikum Theoretische Informatik INF-MA-PR 0/0/4 german Prof. Baader, Dr.-Ing. Borgwardt Theoretische Informatik TBA TBA
Komplexpraktikum Theoretische Informatik INF-MA-PR 0/0/8 german Prof. Baader, Dr.-Ing. Borgwardt Theoretische Informatik TBA TBA
Modeling Project Theoretical Computer Science CMS-PRO 0/0/12 english Prof. Baader Theoretische Informatik TBA TBA
Project Group Theoretical Computer Science MCL-P 0/0/4 english Prof. Baader, Dr.-Ing. Borgwardt Theoretische Informatik TBA TBA
Proseminar Anwendungen der Logik in der Informatik INF-B-510 , INF-B-520 , INF-B-610 , INF-D-520 0/2/0 german Prof. Baader, Dr. Koopmann Theoretische Informatik TBA TBA
Proseminar Perlen der Theoretischen Informatik INF-B-510 , INF-B-520 , INF-B-610 , INF-D-520 0/2/0 german Prof. Baader, Dr. Turhan Theoretische Informatik TBA TBA
Research Seminar Quantitative Logics and Automata INF-AQUA , INF-PM-FOR 0/2/0 english Prof. Baader, Dr. Turhan Theoretische Informatik TBA TBA
Seminar Theoretical Computer Science CMS-LM-ADV , CMS-LM-AI , INF-04-HS , INF-AQUA , INF-D-940 , MCL-PS 0/2/0 english Prof. Baader, Dr. Turhan Theoretische Informatik Ü Montag 5. TBA wöchentlich
Term Rewriting Systems CMS-LM-ADV , CMS-LM-MOC , INF-B-510 , INF-B-520 , INF-BAS6 , 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

Grundlagen der Programmierung

back to top
Course Module hours per week Language Lecturer Institute Type Day Slot Room Week
Algorithms and Data Structures 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 , IST-05-PF-GS , MATH-BA-INFA , MATH-MA-INFADS , PHY-BA-NPW-INF 2/2/0 german Prof. Vogler Theoretische Informatik V
Ü
Ü
Ü
Ü
Ü
Ü
Ü
Ü
Ü
Ü
Ü
Ü
Ü
Freitag
TBA
Dienstag
Dienstag
Donnerstag
Donnerstag
Freitag
Freitag
Freitag
Mittwoch
Mittwoch
Montag
Montag
Montag
2.

1.
2.
1.
6.
1.
3.
4.
1.
5.
3.
4.
6.
TBA
TBA
APB/E023/U
APB/E009/U
VMB/0302/U
APB/E006/U
APB/E023/U
HSZ/0301/U
BAR/0E85/U
APB/E023/U
APB/E010/U
HSZ/0105/U
APB/E009/U
APB/E008/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
Doktorandenseminar Grundlagen der Programmierung FAK-INF-FF 0/2/0 german Prof. Vogler Theoretische Informatik TBA TBA
Introduction to Parsing of Natural Languages INF-04-FG-TP , INF-B-510 , INF-B-520 , INF-BAS2 , INF-BAS6 , INF-VERT2 , INF-VERT6 2/2/0 german Prof. Vogler Theoretische Informatik V
Ü
Donnerstag
Mittwoch
2.
4.
APB/E006/U
APB/E001/U
wöchentlich
wöchentlich
Forschungsprojekt Verarbeitung natürlicher Sprachen INF-PM-FPG 8P/PB german Prof. Vogler Theoretische Informatik TBA TBA
Master-Praktikum Verarbeitung natürlicher Sprachen INF-MA-PR 0/0/8 german Prof. Vogler Theoretische Informatik TBA TBA
Praktikum Verarbeitung natürlicher Sprachen INF-04-KP , INF-B-510 , INF-B-520 , INF-MA-PR , INF-VERT2 0/0/4 german Prof. Vogler Theoretische Informatik TBA TBA
Theory of Weighted Tree Automata INF-04-FG-TP , INF-B-510 , INF-B-520 , INF-BAS2 , INF-BAS6 , INF-PM-FOR , INF-VERT2 , INF-VERT6 4/2/0 german Prof. Vogler Theoretische Informatik V
V
Ü
Donnerstag
Montag
Dienstag
3.
3.
4.
APB/E008/U
APB/E010/U
APB/E009/U
wöchentlich
wöchentlich
wöchentlich

Wissensbasierte Systeme

back to top
Course Module hours per week Language Lecturer Institute Type Day Slot Room Week
Complexity Theory CMS-LM-ADV , CMS-LM-MOC , INF-B-510 , INF-B-520 , INF-BAS6 , INF-VERT6 , MCL-KR , MCL-PI , MCL-TCSL 4/2/0 english Prof. Krötzsch Theoretische Informatik V
V
Ü
Dienstag
Montag
Mittwoch
2.
2.
3.
APB/E005/U
APB/E008/U
APB/E005/U
wöchentlich
wöchentlich
wöchentlich
Forschungsprojekt Wissensbasierte Systeme 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-PROJ 0/0/12 english Prof. Krötzsch, Dr. Mennicke Theoretische Informatik TBA TBA
Research Seminar Logic and AI INF-AQUA , INF-PM-FOR 0/2/0 english Prof. Krötzsch Theoretische Informatik TBA TBA
Knowledge Graphs CMS-COR-KM , INF-B-510 , INF-B-520 , INF-BAS2 , INF-BAS6 , INF-E-3 , INF-PM-ANW , INF-PM-FOR , INF-VERT2 , INF-VERT6 , MCL-KR , MCL-TCSL 2/2/0 english Prof. Krötzsch Theoretische Informatik V
Ü
Dienstag
Dienstag
3.
5.
TBA
TBA
wöchentlich
wöchentlich
Komplexpraktikum Wissensbasierte Systeme INF-B-510 , INF-B-520 , INF-MA-PR 0/0/4, 0/0/8 german Prof. Krötzsch, Dr. Mennicke Theoretische Informatik TBA TBA
Research Project Knowledge-Based Systems (MCL) MCL-P 0/0/4 english Prof. Krötzsch, Dr. Mennicke Theoretische Informatik TBA TBA
Rule-based Paradigms in Knowledge Representation CMS-LM-ADV , CMS-LM-MOC , CMS-SEM , INF-04-HS , INF-AQUA , INF-D-940 , INF-PM-FOR , MCL-PS 0/2/0 english Prof. Krötzsch, Dr. Ellmauthaler Theoretische Informatik TBA TBA
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 Wintersemester 2021/2022 - Institute Theoretische Informatik