inf480 - Spezielle Themen aus dem Gebiet "Parallele Systeme" I (Vollständige Modulbeschreibung)
Modulbezeichnung | Spezielle Themen aus dem Gebiet "Parallele Systeme" I |
Modulkürzel | inf480 |
Kreditpunkte | 6.0 KP |
Workload | 180 h |
Einrichtungsverzeichnis | Department für Informatik |
Verwendbarkeit des Moduls |
|
Zuständige Personen |
|
Teilnahmevoraussetzungen | Keine Teilnehmervoraussetzungen |
Kompetenzziele | Das Modul hat zum Ziel aktuelle Entwicklungen im Vertiefungsgebiet "Parallele Systeme" in den jeweils angemessenen Lehrveranstaltungsformen in das Studium zu integrieren. Fachkompetenzen Die Studierenden:
Die Studierenden:
Die Studierenden:
Die Studierenden:
|
Modulinhalte | Siehe Beschreibung der zugeordneten Lehrveranstaltung – mögliche Instanziierungen des Moduls sind beispielsweise „Automatentheorie und Logik“, „Modelchecking“, „Effiziente Algorithmen“ und „Theorie und Spiele. |
Literaturempfehlungen | Literatur wird in der zugeordneten Lehrveranstaltung bekannt gegeben. |
Links | |
Unterrichtssprache | Deutsch |
Dauer in Semestern | 1 Semester |
Angebotsrhythmus Modul | unregelmäßig |
Aufnahmekapazität Modul | unbegrenzt |
Lehr-/Lernform | 2 VA aus V, Ü, S, P, PR |
Vorkenntnisse | keine |
Prüfung | Prüfungszeiten | Prüfungsform |
---|---|---|
Gesamtmodul | Am Ende der Vorlesungszeit nach Absprache mit dem Lehrenden |
Portfolio oder Referat oder mündliche Prüfung. |
Lehrveranstaltungsform | VA-Auswahl |
SWS | 4 |
Angebotsrhythmus | SoSe oder WiSe |