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.