Lehrangebot Wintersemester 2024/2025 - Institut Theoretische Informatik

Version vom 10.10.2024

Algebraische und logische Grundlagen der Informatik

nach oben
Lehrveranstaltung Modul SWS Sprache Dozent Institut
Analyse eines Forschungsthemas zu Formale Methoden INF-D-960 0/0/8 deutsch/englisch Prof. Baier Theoretische Informatik
CMS Research Project Model Checking CMS-PRO 0/0/12 englisch Dr. Klüppelholz Theoretische Informatik
Doktorandenseminar Advances in Probabilistic Model Checking FAK-INF-FF 0/2/0 englisch Prof. Baier Theoretische Informatik
Forschungsprojekt Formale Methoden INF-PM-FPG 8P/PB deutsch/englisch Prof. Baier Theoretische Informatik
Forschungsseminar Formal Methods INF-PM-FOR 0/2/0 englisch Prof. Baier Theoretische Informatik
Komplexpraktikum Modellierung und quantitative Systemanalyse I INF-MA-PR 0/0/4 deutsch Prof. Baier Theoretische Informatik
Komplexpraktikum Modellierung und quantitative Systemanalyse II INF-MA-PR 0/0/8 deutsch Prof. Baier Theoretische Informatik
Laborkurs Modeling and Automated Verification CMS-LM-ADV , CMS-LM-MOC , MCL-PS 0/2/0 englisch Prof. Baier 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 englisch Prof. Baier, Dr. Klüppelholz Theoretische Informatik
Proseminar Binäre Entscheidungsgraphen INF-B-510 , INF-B-520 , INF-B-610 , INF-D-520 0/2/0 deutsch Dr. Klüppelholz Theoretische Informatik
Proseminar Theoretische Informatik INF-B-510 , INF-B-520 , INF-B-610 , INF-D-520 0/2/0 deutsch Dr. Klüppelholz Theoretische Informatik
Seminar Selected Topics in Logic and Verification CMS-LM-ADV , CMS-LM-MOC , CMS-SEM-A , INF-AQUA , INF-D-940 , MCL-PS 0/2/0 englisch Prof. Baier Theoretische Informatik
Team Project Model Checking CMS-LM-TEA 0/0/8 englisch Dr. Klüppelholz Theoretische Informatik

Algorithmik

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

Automatentheorie

nach oben
Lehrveranstaltung Modul SWS Sprache Dozent Institut
Erweitertes Komplexpraktikum Theoretische Informatik INF-MA-PR 0/0/8 dt,en Prof. Baader, Dr.-Ing. Borgwardt Theoretische Informatik
Forschungsprojekt Theoretische Informatik INF-PM-FPG 0/0/8 deutsch Prof. Baader, Dr. Claußnitzer Theoretische Informatik
Komplexpraktikum Theoretische Informatik INF-MA-PR 0/0/4 deutsch/englisch Prof. Baader, Dr. Siahaan Theoretische Informatik
Logic-Based Ontology Engineering CMS-LM-ADV , CMS-LM-AI , INF-B-510 , INF-B-520 , INF-BAS2 , INF-BAS6 , INF-PM-ANW , INF-PM-FOR , INF-VERT2 , INF-VERT6 , MCL-ILS 2/2/0 englisch Dr.-Ing. Borgwardt Theoretische Informatik
Modal Logic CMS-LM-BAS , INF-B-510 , INF-B-520 , INF-BAS6 , INF-VERT6 , MCL-TCSL 2/2/0 englisch Dr. Fernández Gil Theoretische Informatik
Modeling Project Theoretical Computer Science CMS-PRO 0/0/12 deutsch/englisch Prof. Baader, Dr. Kriegel Theoretische Informatik
Project Group Theoretical Computer Science MCL-P 0/0/4 englisch Prof. Baader, Dr.-Ing. Borgwardt Theoretische Informatik
Proseminar Anwendungen der Logik in der Informatik INF-B-510 , INF-B-520 , INF-B-610 , INF-D-520 0/2/0 englisch Dr.-Ing. Borgwardt, Dr. Siahaan Theoretische Informatik
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
Term Rewriting Systems CMS-LM-ADV , CMS-LM-AI , CMS-LM-MOC , 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

Grundlagen der Programmierung

nach oben
Lehrveranstaltung Modul SWS Sprache Dozent Institut
Algorithmen und Datenstrukturen 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 Dr. Pahlke Theoretische Informatik

Wissensbasierte Systeme


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