Deutschland » Nordrhein-Westfalen » TU Dortmund » Informatik » Prof. Dr. Schwentick » Kurse
Prof. Dr. Thomas Schwentick
Lehrveranstaltungen von Prof. Dr. Thomas Schwentick
| Veranstaltung | Umfang | Beschreibung | Bewertungen |
|---|---|---|---|
| Datenbanktheorie Vorlesung + Übung/Tutorium |
3 SWS | - | 1 |
| Grundbegriffe der theoretischen Informatik Vorlesung + Übung/Tutorium |
6 SWS | - | 10 |
| Komplexitätstheorie und Effiziente Algorithmen Vorlesung + Übung/Tutorium |
9 SWS | - | 0 |
| Logik für Informatiker Vorlesung + Übung/Tutorium |
4 SWS | - | 10 |
| Logik und Komplexität Vorlesung + Übung/Tutorium |
5 SWS 7.5 CP |
- | 0 |
| Model Checking Vorlesung + Übung/Tutorium |
4 SWS | - | 1 |
| Proseminar Seminar |
2 SWS 3 CP |
- | 0 |
