Clausal Language (ver. 5.81.16, by P.J. Voda, J. Komara, J. Kluka)
Chapter. Primitive Recursive Functions.
|
|
Part. Catalan Pairing Function. See the section 3.2 Course of Values
Recursion in [1].
|
|
Exercise. Show that the Catalan function
is primitive recursive.
|
|
Exercise. Show that the function
is primitive recursive.
|
|
Exercise. Show that the pair size function
is primitive recursive.
|
|
Exercise. Show that the relative offset function
is primitive recursive.
|
|
Exercise. Show that the convolution function
is primitive recursive.
|
|
|
|
Exercise. [Premiova uloha (1 bod)] Show that Catalan pairing
function
is primitive recursive.
|
|
Basic properties of Catalan pairing function. We have
|
|
Ordering properties of Catalan pairing function. We have
|
|
Heap used: 365940 free: 133850340
Time used: 0:0:0:9