ϵ">]>
Literature.
[1] J. Komara. Specification and Verification of Programs. Online.
[2] Ján Kľuka. Úvod do deklaratívneho programovania. Online.
Exercise. Define the primitive recursive function which yields a recursive index of the unary constant function .
Exercise. Define the primitive recursive function which yields a recursive index of the identity .
Exercise. (bonus 1 point) Define a primitive recursive function such that
Corollary: the predicate is not recursive.
Exercise. (bonus 1 point) Define a primitive recursive function such that
Corollary: the predicate is not recursive.
Exercise. (bonus 1 point) Define primitive recursive functions and such that
Corollary: the predicate is not recursive.
Exercise. (bonus 1 point) Define a primitive recursive function such that
Corollary: the predicate is not recursive.
Exercise. (bonus 1 point) Define a primitive recursive function such that
Corollary: the predicate is not recursive.
Exercise. (bonus 1 point) Define primitive recursive functions and such that
Corollary: the predicate is not recursive.
Exercise. (bonus 1 point) Define a primitive recursive function such that
Corollary: the predicate is not recursive.