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.