Wintersemester 2024/2025
Die Vorlesung „Universal Coalgebra“ fällt in diesem Wintersemester leider aus, da im Oktober eine Mitarbeiterin den Lehrstuhl verlassen wird und somit eine Neuverteilung der Lehrverpflichtungen erforderlich war.
Lehrveranstaltung | SWS | Module |
---|---|---|
Term Rewriting Systems | 4/2/0 | 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 |
Modal Logic | 2/2/0 | CMS‑LM‑BAS, INF‑B‑510, INF‑B‑520, INF‑BAS6, INF‑VERT6, MCL‑TCSL |
Logic-Based Ontology Engineering | 2/2/0 | 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 |
Proseminar Anwendungen der Logik in der Informatik | 0/2/0 | INF‑B‑510, INF‑B‑520, INF‑B‑610, INF‑D‑520 |
Seminar Theoretical Computer Science | 0/2/0 | CMS‑LM‑ADV, CMS‑LM‑AI, CMS‑SEM‑A, INF‑04‑HS, INF‑AQUA, INF‑D‑940, MCL‑PS |
Komplexpraktikum Theoretische Informatik | 0/0/4 | INF‑MA‑PR |
Erweitertes Komplexpraktikum Theoretische Informatik | 0/0/8 | INF‑MA‑PR |
Forschungsprojekt Theoretische Informatik | 0/0/8 | INF‑PM‑FPG |
Modeling Project Theoretical Computer Science | 0/0/12 | CMS‑PRO |
Project Group Theoretical Computer Science | 0/0/4 | MCL‑P |