Zählen/Digitale Uhr/Definiere Nachfolgerabbildung/Aufgabe
Zur Navigation springen
Zur Suche springen
Wir betrachten eine digitale Uhr, die Stunden, Minuten und Sekunden anzeigt. Beschreibe die möglichen Zustände (also die möglichen Zeitangaben) mit Hilfe einer geeigneten Produktmenge. Definiere (mit Hilfe von geeigneten Hilfsabbildungen)
die Nachfolgerabbildung, die zu jeder Zeitangabe die Zeitangabe der nächsten Sekunde berechnet.