Lehrende: Prof. Dr.-Ing. Heiko Mantel
Veranstaltungsart: Seminar
Orga-Einheit: FB20 Informatik
Anzeige im Stundenplan: Sem.Form.Spec+Verif
Fach:
Anrechenbar für:
Semesterwochenstunden: 2
Unterrichtssprache: Englisch
Min. | Max. Teilnehmerzahl: - | -
Lehrinhalte: - Eigenständiges Einarbeiten in ein Thema aus dem Bereich Formale Spezifikation und Verifikation anhand von bereitgestellten wissenschaftlichen Arbeiten (englischsprachig) - Eigene darüber hinausgehende Literaturrecherchen, angeleitet durch Betreuer - Reflektion und Einordnen der Ergebnisse der Literaturarbeit, angeleitet von Betreuer - Erstellen eines Vortrags über die Thematik einschließlich Folienpräsentationen, angeleitet durch Betreuer - Halten des Vortrags vor einem Publikum mit heterogenem Vorwissen - Fachdiskussion basierend auf dem Vortrag - Feedback an die Vortragenden zu den Vorträgen (betreffend u.a. Rhetorik, Präsentationstechnik) und zur Fachdiskussion
Literatur: Wird jeweils passend zu den aktuellen Themen bekanntgegeben
Voraussetzungen: Informatik- und Mathematikkenntnisse entsprechend den ersten 4 Semestern des Bachelorstudiengangs Informatik, insbesondere grundlegende Logikkenntnisse und Fähigkeit mit formalen Sprachen und Kalkülen umzugehen