Courses in Summer Semester 2020
Note: The lecture period starts on 6 April 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 |
---|---|---|
Theoretische Informatik und Logik | 4/2/0 | INF‑B‑290, INF‑D‑330 |
Description Logic | 4/2/0 | INF‑04‑FG‑TP, INF‑B‑510, INF‑B‑520, INF‑BAS6, INF‑VERT6, MCL‑AI, MCL‑PI, MCL‑TCSL |
Logic-based Ontology Engineering | 2/2/0 | INF‑B‑510, INF‑B‑520, INF‑BAS6, INF‑PM‑FOR, INF‑VERT6, MCL‑ILS |
Einführung in die (theoretische) Informatik | 2/2/0 | D‑WW‑EINF, INF‑BAWP‑INF‑04, INF‑LE‑WW, INF‑SEBS‑INF‑04, INF‑SEGY‑INF‑04, INF‑SEMS‑INF‑04 |
Seminar Theoretical Computer Science | 0/2/0 | INF‑04‑HS, INF‑AQUA, INF‑D‑940, MCL‑PS |
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‑04‑KP, INF‑MA‑PR, IST‑05‑KP, MINF‑04‑KP‑FG2 |
Project Group Theoretical Computer Science | 0/0/4 | MCL‑P |
Forschungsprojekt Theoretical Computer Science | 8P/PB | INF‑PM‑FPG |