Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage...
Diese Lehrveranstaltung vertieft das Verständnis der Inhalte der Lehrveranstaltung "6.0 VU Formale Methoden der Informatik" durch zusätzliche Übungen. Es werden Aufgaben zu folgenden Gebieten behandelt:
Zu jedem der vier Themenblöck gibt es ein Übungsblatt.
Vorbesprechung: 8.10.2019, 9:15 EI8
Die eingereichten Lösungen der vier Übungsblätter werden jeweils mit 0-15 Punkten bewertet. Hierbei werden neben der Korrektheit der Lösung auch die Qualität & Verständlichkeit des dazugehörigen Reports bewertet. Die Note ergibt sich aus der Summe dieser Punkte.
Es wird vorrausgesetzt das die VU Formale Methoden der Informatik parallel besucht wird (oder schon in einem früheren Semester absolviert wurde). DIe Übungsblöcke bauen auf den Inhalen der dazugehörigen Vorlesungsblöcken auf.