Eine neue Version des Skripts zum Vorkurs “formale Methoden der Informatik”ist hier verfügbar.

In Version 4.8 hat sich geändert:

• Kapitel 9.7: Beweis zur Addition von Brüchen hinzugefügt.
• Kapitel 10.6: Einheitenpräfixe erweitert.
• Kapitel 11: Beweismethode und Beispiele von Laufzeiten in O(f(n)) hinzugefügt.