Wintersemester 2022/2023
Hinweis: Die Vorlesungszeit startet zum 10. Oktober 2021. Bitte schreiben Sie sich unbedingt in die angebotenen OPAL-Kurse ein, denn insbesondere wird dort bekanntgegeben ob die Lehrveranstaltung in Präsenz, nur virtuell, oder in einem hybriden Format durchgeführt wird. Weitere und möglicherweise aktuellere Informationen finden Sie auf den zentralen Informationsseiten https://tu-dresden.de/corona und https://tu-dresden.de/studium/im-studium/coronavirus.
| Lehrveranstaltung | SWS | Module |
|---|---|---|
| Formale Systeme | 4/2/0 | INF‑B‑270, INF‑B‑275, INF‑LE‑EUI, IST‑05‑PF‑HS |
| 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 |
| Unification in Modal and Description Logics | 2/2/0 | CMS‑LM‑ADV, CMS‑LM‑AI, CMS‑LM‑MOC, INF‑B‑510, INF‑B‑520, INF‑BAS2, INF‑BAS6, INF‑PM‑FOR, INF‑VERT2, INF‑VERT6, MCL‑AI, MCL‑KR, MCL‑PI, MCL‑TCSL |
| Proseminar Anwendungen der Logik in der Informatik | 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, CMS‑PROJ |
| Project Group Theoretical Computer Science | 0/0/4 | MCL‑P |
| Forschungsprojekt Theoretische Informatik | 0/0/8 | INF‑PM‑FPG |