Lehrveranstaltungen im Wintersemester 2021/2022
Hinweis: Die Vorlesungszeit startet zum 11. Oktober 2021. 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 |
|---|---|---|
| Term Rewriting Systems | 4/2/0 | CMS‑LM‑ADV, CMS‑LM‑MOC, INF‑B‑510, INF‑B‑520, INF‑BAS6, INF‑VERT6, MCL‑AI, MCL‑PI, MCL‑TCSL |
| Fuzzy Description Logic | 2/2/0 | CMS‑LM‑ADV, CMS‑LM‑AI, INF‑B‑510, INF‑B‑520, INF‑BAS6, INF‑PM‑FOR, INF‑VERT6, MCL‑AI, MCL‑KR, MCL‑TCSL |
| Introduction to Non-monotonic Reasoning | 2/2/0 | CMS‑LM‑ADV, CMS‑LM‑AI, INF‑B‑510, INF‑B‑520, INF‑BAS6, INF‑PM‑FOR, INF‑VERT6, MCL‑KR, MCL‑TCSL |
| Seminar Theoretical Computer Science | 0/2/0 | CMS‑LM‑ADV, CMS‑LM‑AI, 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, 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 |