Summer Semester 2023
Note: The lecture period starts on 3 April 2023. 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 |
| Theoretische Informatik und Logik | 4/2/0 | INF‑B‑290, INF‑D‑330 |
| 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 |
| Praktikum Verarbeitung natürlicher Sprache | 0/0/4 | INF‑04‑KP, INF‑B‑510, INF‑B‑520, INF‑MA‑PR, INF‑VERT2, INF‑VERT6 |
| Seminar Theoretical Computer Science: Automata for Description Logics | 0/2/0 | CMS‑LM‑ADV, CMS‑LM‑AI, CMS‑SEM, INF‑04‑HS, INF‑AQUA, INF‑D‑940, MCL‑PS |
| Proseminar: Perlen 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 Theoretische Informatik | 0/0/8 | INF‑PM‑FPG |
| Modeling Project Theoretical Computer Science | 0/0/12 | CMS‑PRO |