Contents Algebraische und logische Grundlagen der Informatik Algorithmik Automatentheorie Grundlagen der Programmierung Wissensbasierte Systeme

Course Catalog Wintersemester 2023/2024 - Institute Theoretische Informatik

Version Date 25.11.2024

Algebraische und logische Grundlagen der Informatik

back to top
Course Module hours per week Language Lecturer Institute
CMS Research Project Model Checking CMS-PRO (0/0/12) english Dr. Klüppelholz Theoretische Informatik
Doctoral Seminar „Advances in Probabilistic Model Checking“ FAK-INF-FF 0/2/0 english Prof. Baier Theoretische Informatik
Research Project „Formal Methods“ INF-PM-FPG 8P/PB german/english Prof. Baier Theoretische Informatik
Komplexpraktikum Modellierung und quantitative Systemanalyse I INF-MA-PR 0/0/4 german Prof. Baier Theoretische Informatik
Komplexpraktikum Modellierung und quantitative Systemanalyse II INF-MA-PR 0/0/8 german Prof. Baier Theoretische Informatik
Lab Course Modeling and Automated Verification CMS-LM-ADV , CMS-LM-MOC , MCL-PS 0/2/0 english Prof. Baier Theoretische Informatik
Modal Logic CMS-LM-BAS , INF-B-510 , INF-B-520 , INF-BAS6 , INF-VERT6 , MCL-TCSL 2/2/0 english Dr. Piribauer Theoretische Informatik
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
Proseminar Theoretische Informatik INF-B-510 , INF-B-520 , INF-B-610 , INF-D-520 0/2/0 german Prof. Baier Theoretische Informatik
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
Team Project Model Checking CMS-LM-TEA 0/0/8 english Dr. Klüppelholz Theoretische Informatik

Algorithmik

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

Automatentheorie

back to top
Course Module hours per week Language Lecturer Institute
Automata and Logic CMS-LM-ADV , CMS-LM-MOC , INF-B-510 , INF-B-520 , INF-BAS2 , INF-BAS6 , INF-VERT2 , INF-VERT6 , MCL-KR , MCL-PI , MCL-TCSL 4/2/0 english Dr. Turhan Theoretische Informatik
Research Project Theoretical Computer Science INF-PM-FPG 0/0/8 german Dr. Claußnitzer Theoretische Informatik
Fuzzy Description Logic CMS-LM-ADV , CMS-LM-AI , INF-B-510 , INF-B-520 , INF-BAS2 , INF-BAS6 , INF-PM-FOR , INF-VERT2 , INF-VERT6 , MCL-AI , MCL-KR , MCL-TCSL 2/2/0 english Dr.-Ing. Borgwardt Theoretische Informatik
Complex Project Theoretical Computer Science INF-MA-PR 0/0/4 german Dr.-Ing. Borgwardt Theoretische Informatik
Complex Project Theoretical Computer Science INF-MA-PR 0/0/8 german Dr.-Ing. Borgwardt Theoretische Informatik
Modeling Project Theoretical Computer Science CMS-PRO 0/0/12 english Dr. Turhan Theoretische Informatik
Project Group Theoretical Computer Science MCL-P 0/0/4 english Dr.-Ing. Borgwardt Theoretische Informatik
Proseminar Applications of Logic in Computer Science INF-B-510 , INF-B-520 , INF-B-610 , INF-D-520 0/2/0 english Dr.-Ing. Borgwardt, Dr. Siahaan Theoretische Informatik
Proseminar Pearls of Theoretical Computer Science INF-B-510 , INF-B-520 , INF-B-610 , INF-D-520 0/2/0 german Dr. Turhan Theoretische Informatik
Seminar Theoretical Computer Science CMS-LM-ADV , CMS-LM-AI , INF-04-HS , INF-AQUA , INF-D-940 , MCL-PS 0/2/0 english Dr. Turhan Theoretische Informatik

Grundlagen der Programmierung

back to top
Course Module hours per week Language Lecturer Institute
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 , MATH-BA-INFA , MATH-MA-INFADS , PHY-BA-NPW-INF 2/2/0 german Dr. Feldmann Systemarchitektur

Wissensbasierte Systeme

back to top
Course Module hours per week Language Lecturer Institute
Complexity Theory CMS-LM-ADV , CMS-LM-MOC , INF-BAS6 , INF-VERT6 , MCL-KR , MCL-PI , MCL-TCSL 4/2/0 english Prof. Krötzsch, Dr. Mennicke Theoretische Informatik
Complexity Theory INF-B-510 , INF-B-520 4/2/0 english Prof. Krötzsch, Dr. Mennicke Theoretische Informatik
Formal Systems INF-B-270 , INF-B-275 , INF-LE-EUI 4/2/0 german Prof. Krötzsch Theoretische Informatik
Research Project Knowledge-Based Systems INF-PM-FPA , INF-PM-FPG 0/0/8 german Prof. Krötzsch, Dr. Ellmauthaler, Dr. Mennicke Theoretische Informatik
Research Project Knowledge-Based Systems (CMS) CMS-PRO 0/0/12 english Prof. Krötzsch, Dr. Mennicke Theoretische Informatik
Knowledge Graphs CMS-COR-KM , 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
Knowledge Graphs INF-B-510 , INF-B-520 2/2/0 english Prof. Krötzsch Theoretische Informatik
Komplexpraktikum Wissensbasierte Systeme (Bachelor Informatik) INF-B-510 , INF-B-520 0/0/4 german Prof. Krötzsch, Dr. Mennicke Theoretische Informatik
Komplexpraktikum Wissensbasierte Systeme (Bachelor Informatik) INF-B-510 , INF-B-520 0/0/4 german Prof. Krötzsch, Dr. Mennicke Theoretische Informatik
Komplexpraktikum Wissensbasierte Systeme (Master Informatik) INF-MA-PR 0/0/8 german Prof. Krötzsch, Dr. Mennicke Theoretische Informatik
Research Project Knowledge-Based Systems (MCL) MCL-P 0/0/4 english Prof. Krötzsch, Dr. Mennicke Theoretische Informatik
Team Project Knowledge-Based Systems (CMS) CMS-LM-TEA 0/0/8 english Prof. Krötzsch, Dr. Ellmauthaler, Dr. Mennicke Theoretische Informatik

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 2023/2024 - Institute Theoretische Informatik