Die Klausur zur Vorlesung "Formale Grundlagen und Methoden"
findet am Monatag, dem 22.2.2021 in der Zeit 9:15-11:00
online auf Edumeet sowie per Email statt.

Ich schicke Ihnen zunächst das Aufgabenblatt und Sie schicken
mir per Email Ihre Lösungen dazu.

Dafür habe ich eine Zeit von 45 Minuten ins Auge gefasst.

Anschließend, also ab ca. 10:00 bitte ich jeden Teilnehmer zu einem
kurzen (ca. 5 Minuten) Gespräch auf Edumeet zum Thema der Vorlesung.

Zur Lösung der Aufgaben dürfen Sie Unterlagen oder Formelsammlungen
verwenden.