ϵ">]>
Literature.
[1] J. Komara. Specification and Verification of Programs. Online.
[2] Ján Kľuka. Úvod do deklaratívneho programovania. Online.
Interpreter of primitive recursive function symbols. (2 bonus points) Define the interpreter of p.r. function symbols.
Primitive recursive indices. See also the binary predicate holding of well-formed p.r. indices defined in the module Mxpr.
Exercise. Find a well-formed p.r. index of the unary constant function , i.e. find the number such that
Exercise. (1 point) Find a well-formed p.r. index of the addition function , i.e. find the number such that
Exercise. Find a well-formed p.r. index of the multiplication function , i.e. find the number such that
Exercise. (2 points) Find a well-formed p.r. index of the exponentiation function , i.e. find the number such that
Exercise. Find a well-formed p.r. index of the predecessor function , i.e. find the number such that