Summer Semester 2022
Note: The lecture period starts on 4 April 2022. Please be sure to enrol 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 |
|---|---|---|
| Description Logic | 4/2/0 | CMS‑LM‑ADV, CMS‑LM‑AI, INF‑04‑FG‑TP, INF‑B‑510, INF‑B‑520, INF‑BAS2, INF‑BAS6, INF‑VERT2, INF‑VERT6, MCL‑AI, MCL‑PI, 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‑FOR, INF‑VERT2, INF‑VERT6, MCL‑ILS |
| Einführung in die (theoretische) Informatik | 2/2/0 | D‑WW‑EINF, INF‑BAWP‑INF‑04, INF‑BBQ‑GY‑INF‑04, INF‑LE‑WW, INF‑SEBS‑INF‑04, INF‑SEGY‑INF‑04, INF‑SEMS‑INF‑04 |
| Seminar Theoretical Computer Science: Advanced Topics in Term Rewriting | 0/2/0 | CMS‑LM‑ADV, CMS‑LM‑AI, CMS‑SEM, 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 |
| 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 |