ϵ">]>
Literature.
[1] J. Komara. Specification and Verification of Programs. Online.
[2] Ján Kľuka. Úvod do deklaratívneho programovania. Online.
Addition is primitive recursive. (1 point) Find a p.r. derivation of the addition function .
Hint. Note that
Exercise. (1 point) Find a p.r. derivation of the exponentiation function .
Hint. Recall that
Rewrite the recurrences for the binary function
Exercise. Find a p.r. derivation of the predecessor function .
Hint. Note that
Rewrite the recurrences for the binary function
with the dummy second argument.