Projekte und Studienarbeiten Computational Logic
Projekte und Studienarbeiten Computational Logic
Kontaktperson
Module
Leistungskontrolle
- Hausarbeit
- Referat
Neuigkeiten
- Die nächste Themenvorstellung findet am Donnerstag, den 05. November 2026 DS5 (um 14:50 Uhr) in Raum APB 2026 statt.
Themensammlung und Themenvergabe
Neben den Vorlesungen haben Sie während des Studiums die Möglichkeit auch an (Forschungs-)Projekten bei uns zu arbeiten. Auf dieser Seite präsentieren wir Informationen zu den verfügbaren Modulen sowie einzelnen Themen. Die Themen sollen einen Überblick über die Art der Projektthemen, die Sie bei uns bearbeiten können, darstellen. Kontaktieren Sie uns gern, wenn Sie planen, ein Thema bei uns zu bearbeiten. Weitere Themen können wir gern im persönlichen Gespräch durchgehen.
Zu Beginn eines Semesters sammeln wir neue Themen und stellen diese gebündelt in einem Seminartermin vor. Dieses Seminar bietet Ihnen die Möglichkeit, die neuen Themen und die Betreuer etwas kennenzulernen.
Überblick über die Module
Die Dauer der Bearbeitung von Projekten hängt vom Modul ab. Details über die Anforderungen/Prüfungsmodalitäten werden im Einzelfall mit den jeweiligen Prüfern und Betreunden abgestimmt (bspw. bei komplexen Leistungen/integrated assignments). Die nachfolgende Tabelle liefert lediglich einen ersten Überblick gemäß Modulbeschreibungen.
| Modules | Title | Integrated Assignment | |
|---|---|---|---|
| Bachelor Programme | INF-25-Ba-BaSe | Bachelorseminar | 50h |
| Master Programme | INF-25-Ma-BSem | Belegseminar | 50h |
| INF-25-Ma-GB | Großer Beleg | 180h | |
| INF-25-Ma-AFT | Analyse eines Forschungsthemas | 80h | |
| INF-25-Ma-ERS | Exploration of a Research Subject | 80h | |
| INF-25-Ma-FP | Forschungsprojekt | 200h | |
| CMS Master Programme | CMS-VC-TEA | Team Project | 80h |
