Skript v4.6 verfügbar

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

In Version 4.6 hat sich geändert:

  • Kapitel 7.1: weitere Beispiele für Relationen hinzugefügt und zwei Fehler gefixt.
  • Kapitel 7.2: Beweisverfahren für Surjektivität und Injektivität und mehrere Beispiele dazu hinzugefügt.

Leave a Reply