Clausal Language (ver. 5.81.16, by P.J. Voda, J. Komara, J. Kluka)
PREMIOVA ULOHA Z PREDMETU 1-INF-465 DEKLARATIVNE PROGRAMOVANIE
|
|
Meno:
Verzia CL: 5.81.16
Datum: utorok 16.5.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
|
|
Termin: Premiovu ulohu odovzdajte najneskor v pondelok 29.5.2006 do
18:00.
Format: Subor ul02.cl ako priloha v elektronickej poste.
Hodnotenie:
|
|
******************************************************************************
********************************* 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. See also the module
.
|
|
Primitive recursive indices.
|
|
Exercise. [Premiova uloha (2 body)] Find a number
such that
In other words, the number
is a well-formed p.r. index of a unary function which, regardless of input,
produces its own description as the output.
|
|
|
|
Heap used: 343408 free: 133873204
Time used: 0:0:0:54