Hallo,
gegeben ist die aufgabe:
Gegeben seien ein Fakt und eine Regel eines deduktiven Algorithmus (für natürliche Zahlen X und Y) wie folgt:
f(0,1).
X>0 AND f(X-1,Y) -> f(X,2*Y).
und danach soll ich die ergebnisse für
f(X,64)?
f(X,67)?
f(3,Y)?
ausgeben.
ich habe ein bsp für eine addition im lehrbuch welche ich nachvollziehen kann aber mit dieser bin ich überfordert. kann mir jemand erklären was hier gemacht werden soll?
meine eigene überlegung war das ich für ein f(3,3) über die gegebene regel, y * 2^x, auf (0, 24) komme. aber ist der algorithmus mit y * 2^x überhpt richtig und wie wende ich das nun auf f´s wo mir das x oder y fehlt?
gegeben ist die aufgabe:
Gegeben seien ein Fakt und eine Regel eines deduktiven Algorithmus (für natürliche Zahlen X und Y) wie folgt:
f(0,1).
X>0 AND f(X-1,Y) -> f(X,2*Y).
und danach soll ich die ergebnisse für
f(X,64)?
f(X,67)?
f(3,Y)?
ausgeben.
ich habe ein bsp für eine addition im lehrbuch welche ich nachvollziehen kann aber mit dieser bin ich überfordert. kann mir jemand erklären was hier gemacht werden soll?
meine eigene überlegung war das ich für ein f(3,3) über die gegebene regel, y * 2^x, auf (0, 24) komme. aber ist der algorithmus mit y * 2^x überhpt richtig und wie wende ich das nun auf f´s wo mir das x oder y fehlt?
