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.