Term/Eine Variable/Einsetzung/Abbildung/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Es sei ein Term in der einen Variablen , der ansonsten aus natürlichen Zahlen und darauf definierten Funktionssymbolen gebildet sei. Man mache sich klar, dass die Einsetzung eine Abbildung von nach definiert.
Eine Lösung erstellen