Summer Semester 2025
Note: The lecture period starts on 7 April 2025. Please be sure to enroll in the offered OPAL courses.
| Course | SWS | Modules |
|---|---|---|
| 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 |
| Building and Maintaining Ontologies in the Description Logic EL | 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 |
| Einführung in die (theoretische) Informatik | 2/2/0 | D‑WW‑EINF, INF‑BAWP‑INF‑04, INF‑BBQ‑GY‑INF‑04, INF‑SEBS‑INF‑04, INF‑SEGY‑INF‑04, INF‑SEMS‑INF‑04, WW‑BA‑ETIF, WW‑D‑ETIF |
| Seminar Theoretical Computer Science: Advanced Topics in Term Rewriting | 0/2/0 | CMS‑LM‑ADV, CMS‑LM‑AI, CMS‑SEM‑A, INF‑04‑HS, INF‑AQUA, INF‑D‑940, MCL‑PS |
| Proseminar: Perlen der Theoretischen Informatik und Logik | 0/2/0 | INF‑B‑510, INF‑B‑520, INF‑B‑610, INF‑D‑520 |
| (Erweitertes) Komplexpraktikum Theoretische Informatik | 0/0/4 or 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 |
| Praktikum Verarbeitung natürlicher Sprachen | 0/0/4 | INF‑04‑KP, INF‑B‑510, INF‑B‑520, INF‑MA‑PR, INF‑VERT2, INF‑VERT6 |