Funktionale Programmierung und Verifikation (IN0003), WS 2019/20

1. Die Hausaufgaben dienen der Nachbereitung und Wiederholung.
2. Hausaufgaben müssen selbstständig (keine Gruppenarbeit) bearbeitet werden und werden korrigiert und bewertet.
3. Die Abgabe der Hausaufgaben ist freiwillig und erfolgt auf vmnipkow3. Für die erfolgreiche Bearbeitung der Hausaufgaben wird jedoch ein Notenbonus von 0,3 auf die Endnote vergeben (falls bestanden; ein Schritt von 4,3 auf 4,0 ist nicht möglich). Dafür müssen mindestens 10 der voraussichtlich 14 Blätter bestanden werden. Ein Blatt gilt als bestanden wenn
   1. der Code in unserem Abgabesystem kompiliert (dies beinhaltet, dass das äußere Template nicht verändert worden ist) und
   2. ein ernsthafter Lösungsansatz für mindestens x Aufgaben des Blattes erkennbar ist, d.h. dass grundlegende Testfälle erfolgreich bestanden werden. Die Zahl x wird am Anfang jedes Blattes spezifiziert.
Die Auswertung erfolgt mechanisch, d.h. unser Abgabesystem prüft die Abgabe mittels automatisierter Tests. Die Testergebnisse sind jederzeit einsehbar.
4. Die Abgabe des Übungsblattes hat immer bis zum Montag nach der Ausgabe spätestens bis 24 Uhr zu erfolgen. Ein gegebenfalls abweichender Termin ist auf dem Übungsblatt vermerkt.
5. Die Abgabe erfolgt elektronisch auf unserem Übungssystem.
6. Wer Hausaufgaben abschreibt oder abschreiben lässt, hat seinen Notenbonus sofort verwirkt.
7. Der Bonus gilt auch für eine eventuelle Wiederholungsklausur, jedoch nur im selben Semester.
8. Zu jedem Übungsblatt wird es eine Template-Datei geben, in die Sie Ihre Lösungen eintragen. Der Name dieser Datei, sowie die Funktionsnamen und die Typannotationen in dem Template, dürfen nicht verändert werden. Nutzen Sie bitte diese Template-Datei um Compilefehler zu vermeiden. Abgaben, die nicht kompilieren, erhalten keine Punkte.
9. Wenn auf dem Übungsblatt nicht explizit etwas anderes steht, sind die Wettbewerbsaufgaben immer auch normale Hausaufgaben.