< Zählen < Digitale Uhr < Definiere Nachfolgerabbildung
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.
This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.