Clausal Language (ver. 5.81.16, by P.J. Voda, J. Komara, J. Kluka)
10. CVICENIE Z PREDMETU 1-INF-465 DEKLARATIVNE PROGRAMOVANIE
|
|
Meno:
Verzia CL: 5.81.16
Datum: utorok 25.4.2006
WWW: http://www.ii.fmph.uniba.sk/cl/view.php/courses/1-INF-465-dp/0506ls/?lang=sk
Kontakt: mailto:komara@nw.fmph.uniba.sk
|
|
Uvodna poznamka. Toto cvicenie je venovane univerzalnej funkcii pre
primitivne rekurzivne funkcie. Zadanie sa sklada z tychto suborov:
-
Subor(y) mtex*.cl obsahuju makra pre CL-TeX.
-
Subor mprf.cl obsahuje aritmetizaciu p.r. funkcnych symbolov.
-
Subor ex10.cl obsahuje ulohy, ktore mate riesit na tomto cviceni.
Tieto subory sa musia skompilovat v spravnom poradi; presny postup je uvedeny
v subore readme.txt .
|
|
******************************************************************************
********************************* EXERCISES **********************************
******************************************************************************
|
|
Chapter. Programs Operating on Symbolic Expressions.
|
|
Section. Interpreter of Primitive Recursive Functions.
|
|
Primitive recursive function symbols.
|
|
Arithmetization of primitive recursive function symbols. See also
the module
.
|
|
Interpeter of primitive recursive functions.
|
|
Primitive recursive indices.
|
|
Exercise. Find a p.r. index of the unary constant function
, ie find the number
such that
|
|
Exercise. Find a p.r. index of the unary constant function
, ie find the number
such that
|
|
Exercise. Find a p.r. index of the unary constant function
, ie find the number
such that
|
|
Exercise. Find a p.r. index of the unary constant function
, ie find the number
such that
|
|
Exercise. Find a p.r. index of the addition function
, ie find the number
such that
|
|
Exercise. Find a p.r. index of the multiplication function
, ie ie find the number
such that
|
|
Exercise. Find a p.r. index of the exponentiation function
, ie find the number
such that
|
|
Exercise. Find a p.r. index of the unary constant function
, ie find the number
such that
|
|
Exercise. Find a p.r. index of the predecessor function
, ie find the number
such that
|
|
Exercise. Find a p.r. index of the modified subtraction function
, ie find the number
such that
|
|
******************************************************************************
********************************* DEBUGGING **********************************
******************************************************************************
|
|
|
|
|
|
Heap used: 445200 free: 133771416
Time used: 0:0:0:6