Hallo liebe Studenten/innen des Moduls "Formale Methoden der Informatik"
Anbei findet ihr eine Aufgabensammlung samt vielen Musterlösung (das natürlich ohne Gewähr!!!) aus überlieferten Klausurprotokollen.
Die ein oder andere Aufgabe habe ich mit sinnvollen (klausurrelevanten) Teilaufgaben ergänzt.
Es sind zwei Aufgabensammlungen:
a) Detailaufgaben
und
b) Komplexaufgaben
Ich wünsche euch damit viel Spaß, eine gute Vorbereitung und gutes Gelingen in der Klausur
Viele Grüße
Frank