Wintersemester 2023/2024
Hinweis: Die Vorlesungszeit startet zum 9. Oktober 2023. Bitte schreiben Sie sich unbedingt in die OPAL-Kurse zu den besuchten Lehrveranstaltungen ein.
| Lehrveranstaltung | SWS | Module |
|---|---|---|
| Automata and Logic | 4/2/0 | 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 |
| Fuzzy Description Logic | 2/2/0 | 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 |
| Proseminar Applications of Logic in Computer Science | 0/2/0 | INF‑B‑510, INF‑B‑520, INF‑B‑610, INF‑D‑520 |
| Proseminar Perlen der Theoretischen 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, INF‑04‑HS, INF‑AQUA, INF‑D‑940, MCL‑PS |
| Komplexpraktikum Theoretische Informatik | 0/0/4 oder 0/0/8 | INF‑MA‑PR |
| Modeling Project Theoretical Computer Science | 0/0/12 | CMS‑PRO |
| Project Group Theoretical Computer Science | 0/0/4 | MCL‑P |
| Forschungsprojekt Theoretische Informatik | 0/0/8 | INF‑PM‑FPG |