Formale Methoden, Mitschrift von letzter Woche?

Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.

Formale Methoden, Mitschrift von letzter Woche?
Moin,

hat jemand eine Mitschrift von der Vorlesung und Übung von letztem Mittwoch, und würde die zur Verfügung stellen? Leider war ich verhindert, wüsste aber gerne, was so passiert ist. Danke :slight_smile: