Sommersemester 2022
Hinweis: Die Vorlesungszeit startet zum 4. April 2022. Bitte schreiben Sie sich unbedingt in die angebotenen OPAL-Kurse ein, denn insbesondere wird dort bekanntgegeben ob die Lehrveranstaltung in Präsenz, nur virtuell, oder in einem hybriden Format durchgeführt wird. 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 | 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 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 |