Es gibt auch Vorgänger

aus ZUM-Wiki, dem Wiki für Lehr- und Lerninhalte auf ZUM.de
Wechseln zu: Navigation, Suche

Druckversion

Farm-Fresh brain.png   Vorwissen

Bevor du hier loslegst, solltest du die folgenden Bausteine zuvor durchgearbeitet haben:

Farm-Fresh pencil add.png   Aufgabe

Die Vorgängerfunktion \nu sei folgendermaßen rekursiv definiert:

  • (Vor1) \nu(0)=0
  • (Vor2) \nu(\sigma(n))=n

Beweise oder widerlege: \forall n:\mathbb{N}_{0}.\ \nu(\sigma(n))=\sigma(\nu(n))


Farm-Fresh hand point.png  Tipps

Du benötigst einen Tipp? Den bekommst du hier: Tipps (Schau dir die Tipps aber nur an, wenn du es wirklich selbst versucht hast und nicht weiterkommst!)