Courses in Summer Semester 2021
Note: The lecture period starts on 12 April 2021. 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 |
|---|---|---|
| Description Logic | 4/2/0 | INF‑B‑520, INF‑BAS6, INF‑VERT6, MCL‑AI, MCL‑PI, MCL‑TCSL, CMS‑LM‑AI, CMS‑LM‑ADV |
| Logic-based Ontology Engineering | 2/2/0 | INF‑B‑510, INF‑B‑520, INF‑BAS6, INF‑VERT6, INF‑PM‑FOR, MCL‑ILS, CMS‑LM‑AI, CMS‑LM‑ADV |
| Einführung in die (theoretische) Informatik | 2/2/0 | INF‑SEBS‑INF‑04, INF‑SEMS‑INF‑04, INF‑SEGY‑INF‑04, D‑WW‑EINF, INF‑BAWP‑INF‑04 |
| Seminar Theoretical Computer Science | 0/2/0 | INF‑AQUA, INF‑D‑940, MCL‑PS, CMS‑LM‑AI, CMS‑LM‑SEM, CMS‑LM‑ADV |
| 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 |