Courses in Winter Semester 2021/2022
Note: The lecture period starts on 11 October 2021. Please be sure to enroll in the offered OPAL courses, specifically since it will be announced there whether the course will take place in person, only virtually, or in a hybrid mode. Further and possibly more up-to-date information can be found on the central information pages https://tu-dresden.de/corona and https://tu-dresden.de/studium/im-studium/coronavirus.
| Course | SWS | Modules |
|---|---|---|
| Term Rewriting Systems | 4/2/0 | CMS‑LM‑ADV, CMS‑LM‑MOC, INF‑B‑510, INF‑B‑520, INF‑BAS6, INF‑VERT6, MCL‑AI, MCL‑PI, MCL‑TCSL |
| Fuzzy Description Logic | 2/2/0 | CMS‑LM‑ADV, CMS‑LM‑AI, INF‑B‑510, INF‑B‑520, INF‑BAS6, INF‑PM‑FOR, INF‑VERT6, MCL‑AI, MCL‑KR, MCL‑TCSL |
| Introduction to Non-monotonic Reasoning | 2/2/0 | CMS‑LM‑ADV, CMS‑LM‑AI, INF‑B‑510, INF‑B‑520, INF‑BAS6, INF‑PM‑FOR, INF‑VERT6, MCL‑KR, MCL‑TCSL |
| Seminar Theoretical Computer Science | 0/2/0 | CMS‑LM‑ADV, CMS‑LM‑AI, INF‑04‑HS, INF‑AQUA, INF‑D‑940, MCL‑PS |
| Research Seminar Quantitative Logics and Automata | 0/2/0 | INF‑AQUA, INF‑PM‑FOR |
| Proseminar Perlen der Theoretischen Informatik | 0/2/0 | INF‑B‑510, INF‑B‑520, INF‑B‑610, INF‑D‑520 |
| Proseminar Anwendungen der Logik in der Informatik | 0/2/0 | INF‑B‑510, INF‑B‑520, INF‑B‑610, INF‑D‑520 |
| Komplexpraktikum Theoretische Informatik | 0/0/4 or 0/0/8 |
INF‑MA‑PR |
| Project Group Theoretical Computer Science | 0/0/4 | MCL‑P |
| Forschungsprojekt Theoretische Informatik | 0/0/8 | INF‑PM‑FPG |
| Modeling Project Theoretical Computer Science | 0/0/12 | CMS‑PRO |