Skript v4.7 verfügbar

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

In Version 4.7 hat sich geändert:

  • Kapitel 8.1: Erklärungen zu Beweisen und Beispiele für Anwendungen von Gruppen hinzugefügt.
  • Kapitel 9.2: Auf- und Abrundungsfunktion neu definiert.
  • Kapitel 9.3 (Restklassenring) neu hinzugefügt.
  • Kapitel 9.1: Beispiel für Nullteiler hinzugefügt.
  • Kapitel 9.6: Beispiel für endlichen Körper hinzugefügt.
  • Kapitel 10.3: Erklärung zur Verallgemeinerung der Exponenten hinzugefügt.

Leave a Reply