ϵ">]>
2. CVIČENIE Z PREDMETU ÚVOD DO DEKLARATÍVNEHO PROGRAMOVANIA 2011/2012
ČASŤ B
http://ii.fmph.uniba.sk/cl/courses/1-AIN-505-udp/1112ls/ex/ex02.zip
Dátum: 20. 2. 2012
Odporúčaná verzia CL: 5.81.20
WWW stránka predmetu: http://dai.fmph.uniba.sk/courses/udp
Kontakt: udp(zavináč)lists.dai.fmph.uniba.sk
Úvodná poznámka. Toto cvičenie je venované definíciám funkcií primitívnou rekurziou (ex02a) a course-of-values rekurziou (ex02b).
Literatúra.
[1] J. Kľuka. Prednášky z Úvodu do deklaratívneho programovania LS 2011/2012.
[2] D. Guller. Poznámky k prednáškam z CL.
[3] J. Komara and P. J. Voda. Metamathematics of Computer Programming. 2001.
Úloha. Celočíselné delenie. Predpokladajte, že máte k dispozícii iba zabudované sčítanie, odčítanie a diskriminácie. Course-of-values rekurziou zadefinujte funkciu , ktorej hodnotou je podiel pri celočíselnom delení čísla číslom .
Špecifikácia:
Úloha. Zvyšok po celočíselnom delení. Predpokladajte, že máte k dispozícii iba zabudované sčítanie, odčítanie a diskriminácie. Course-of-values rekurziou zadefinujte funkciu , ktorej hodnotou je zvyšok po celočíselnom delení čísla číslom .
Špecifikácia:
Úloha. Fibonacciho postupnosť. Course-of-values rekurziou zadefinujte funkciu počítajúcu -tý prvok Fibonacciho postupnosti.
Špecifikácia:
Úloha. Najväčší spoločný deliteľ. Course-of-values rekurziou zadefinujte funkciu počítajúcu najväčší spoločný deliteľ čísel a využitím vlastností
Pri definícii budete potrebovať v rekurzívnom volaní zmeniť aj druhý, nerekurzívny argument. Tento typ rekurzie sa nazýva rekurzia so substitúciou v parametri.
Špecifikácia: