en | de

Programmverifikation

Bachelorstudium

VO3 + PS2  SS 2020  703083 + 703084

Neuigkeiten

2. Klausur
Der Termin der 2. Klausur ist für den 27. 8. 2020 fixiert. Anmeldung via LFU-online, Details auf der Evaluations-Seite.
1. Klausur
Es gibt eine genaue Beschreibung zum Ablauf der 1. (virtuellen) Klausur auf der Evaluations-Seite.
Video-Aufzeichung
Die 13. Vorlesung ist jetzt mit Folien-Video in OLAT verfügbar.
Vorlesungs-Folien
Der 6. und 7. Teil der Folien ist nun verfügbar.
Vorlesungs-Folien
Der 5. Teil der Folien ist nun vollständig verfügbar.
Vorlesungs-Folien
Der 4. Teil der Folien, Haskell-Dateien und SMT2-Datei sind nun vollständig verfügbar.
Video-Aufzeichung
Offensichtlich gibt es beim Video der 9. Vorlesung massive Tonstörungen, die ich leider im Hörsaal selber nicht beheben konnte. Ich habe bereits den ZID informiert, und hoffe, dass das Problem in der nächsten Woche behoben ist und die Tonqualität wieder auf akzeptablem Niveau ist. Wenn sich jemand mit Audio-Bearbeitung auskennt und die Störungen entfernen kann, wäre dass natürlich prima. Deshalb gibt es dass Video der Vorlesung hier zum Download. Eine leichte Abmilderung der Störungen bekommt man zumindest mit einem Equalizer hin, der die Höhen ausblendet. Ich entschuldige mich für die Störungen, René Thiemann
Vorlesungs-Folien
Der 3. Teil der Folien ist nun vollständig verfügbar.
Proseminar
Das Proseminar findet in OLAT (PS) im "Virtuellen Klassenzimmer" statt. Bitte installieren Sie dazu die Software Adobe Connect (Hilfe zum Spezialfall Linux). Das Zimmer ist 10 Minuten vor Proseminar-Beginn geöffnet
Vorlesung
Die Vorlesung wird Freitags nachmittags aufgezeichnet und im OLAT (VO) verfügbar gemacht. Fragen werden Montags von 13-15 Uhr während meiner Sprechstunde im OLAT-Chat oder -Forum der Vorlesung beantwortet.
Proseminar
Das Seminar findet im OLAT (PS) im Forum "Diskussion" oder im Kurs-Chat statt. Bitte lesen Sie sich, wenn möglich, vorher die Musterlösung durch (ab 8 Uhr im OLAT verfügbar). Dann können Sie gezielte Fragen im Chat stellen, wo noch Verständnis-Probleme sind. Zudem gehe ich auf häufig gemachte Fehler ein.
Fernlehre
Aufgrund des Corona-Virus findet ab sofort keine Lehre mehr in den Räumen der Uni statt. Die Vorlesung und auch das Proseminar wird jetzt mittels eLearning abgewickelt. Für das Proseminar bedeutet dies, dass Lösungen jetzt mittels OLAT hochgeladen werden sollen, und diese werden dann auch dort korrigiert zurückgegeben. Weitere Details folgen in Kürze.