Sommersemester 2023
Hinweis: Die Vorlesungszeit startet zum 3. April 2023. 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 |
| 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 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 |