ϵ">]>
Literature.
[1] J. Komara. Declarative Programming. Downloadable lecture notes available through the web page of the course.
[2] J. Kľuka. Lecture Notes from Introduction to Declarative Programming.
[3] J. Komara and P. J. Voda. Metamathematics of Computer Programming. 2001.
The 'inverse' of the triangular function. Define the unary function such that
Hint. Derivation is based on the following property of triangular numbers
Projections. Define the projection functions of the pairing function which are unary functions and such that
Exercise. Find a primitive recursive definition of the following function
which does not contain any application of .
Arithmetization of tuples. Define the binary predicate holding if the number is the code of an -tuple. Note that this includes the case when or . Find an explicit definition of the predicate!