Skript v4.8 verfügbar

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.

Leave a Reply