Modulbezeichnung | Aktuelle Themen aus dem Gebiet "Formale Methoden" I |
Modulkürzel | inf490 |
Kreditpunkte | 3.0 KP |
Workload | 90 h |
Einrichtungsverzeichnis | Department für Informatik |
Verwendbarkeit des Moduls |
|
Zuständige Personen |
|
Teilnahmevoraussetzungen | Keine Teilnehmervoraussetzungen |
Kompetenzziele | Das Modul hat zum Ziel aktuelle Entwicklungen der Formalen Methoden in den jeweils angemessenen Lehrveranstaltungsformen, insbesondere in Bezug auf die gewählte Vertiefungsrichtung, in das Studium der Informatik zu integrieren.
Methodenkompetenzen Die Studierenden:
Sozialkompetenzen Die Studierenden
Selbstkompetenzen Die Studierenden
|
Modulinhalte | Je nach zugeordneter Lehrveranstaltung |
Literaturempfehlungen | Wird in der zugeordneten Lehrveranstaltung bekannt gegeben |
Links | |
Unterrichtssprache | Englisch |
Dauer in Semestern | 1 Semester |
Angebotsrhythmus Modul | halbjährlich |
Aufnahmekapazität Modul | unbegrenzt |
Modullevel | |
Modulart | |
Lehr-/Lernform | 1S oder 1VL |
Vorkenntnisse | keine |
Prüfung | Prüfungszeiten | Prüfungsform |
---|---|---|
Gesamtmodul | Am Ende des Semesters |
Portfolio oder Referat oder mündliche Prüfung oder Klausur |
Lehrveranstaltungsform | Vorlesung oder Seminar |
SWS | 2 |
Angebotsrhythmus | SoSe oder WiSe |
Workload Präsenzzeit | 28 h |