Eine neue Version des Skripts zum Vorkurs “formale Methoden der Informatik” ist hier (Link dead) verfügbar.
In Version 4.5 hat sich geändert:
- Weitere Beispiele zur vollständigen Induktion hinzugefügt.
- Kapitel 7.1: wesentlich mehr Beispiele für Relationen hinzugefügt.
In Version 4.4 hat sich geändert:
- Hinweis auf Einschreibtermine hinzugefügt.
- Kapitel 3.6: Motivation zum “Umdrehen” der Quantoren hinzugefügt.
- Kapitel 6.2: Beweise zur Partialsumme der geometrischen Reihe und zu x · x = x + x hinzugefügt.