Lehrveranstaltungen im Sommersemester 2021
Hinweis: Die Vorlesungszeit startet zum 12. April 2021. Während des gesamten Semesters finden jedoch virtuelle Lehrveranstaltungen statt. Bitte schreiben Sie sich unbedingt in die angebotenen OPAL-Kurse ein. Weitere und möglicherweise aktuellere Informationen finden Sie auf den zentralen Informationsseiten https://tu-dresden.de/corona und https://tu-dresden.de/studium/im-studium/coronavirus.
| Lehrveranstaltung | SWS | Module |
|---|---|---|
| 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 oder 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 |