Neues Skript zum Vorkurs, v4.5

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.

Leave a Reply