Courses in Winter Semester 2020/2021
Note: The lecture period starts on 26 October 2020. However, virtual courses will take place during the whole semester. Please be sure to enroll in the offered OPAL courses. 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 |
|---|---|---|
| Automata and Logic | 4/2/0 | INF‑B‑520, INF‑BAS6, INF‑VERT6, MCL‑KR, MCL‑PI, MCL‑TCSL, CMS‑LM‑MOC, CMS‑LM‑ADV |
| Introduction to Automatic Structures | 2/2/0 | INF‑B‑510, INF‑B‑520, INF‑BAS6, INF‑VERT6, MCL‑TCSL, MCL‑PI, CMS‑LM‑MOC, CMS‑LM‑ADV |
| Fuzzy Description Logic | 2/2/0 | INF‑B‑510, INF‑B‑520, INF‑BAS6, INF‑PM‑FOR, INF‑VERT6, MCL‑AI, MCL‑KR, MCL‑TCSL, CMS‑LM‑AI, CMS‑LM‑ADV |
| Seminar Theoretical Computer Science | 0/2/0 | INF‑AQUA, INF‑D‑940, MCL‑PS, CMS‑LM‑AI, CMS‑SEM, CMS‑LM‑ADV |
| Proseminar Ausgewählte Themen der Theoretischen 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 Theoretical Computer Science | 0/0/8 | INF‑PM‑FPG |
| Modeling Project Theoretical Computer Science | 0/0/12 | CMS‑PRO |