Rekurzívne funkcie Flashcards
1
Q
Definuj základné axiomatické funkcie
A
str. 95
2
Q
Definuj skladanie funkcií
A
str. 95
3
Q
definuj primitívnu rekurziu
A
str. 95
4
Q
Opíš operáciu primitívnej rekurzie na sčítaní
A
str. 96, 10.1 príklad
5
Q
definuj primitívne rekurzívnu funkciu
A
str. 96
6
Q
Dokáž, že konštantná funkcia K0(x)=0 je primitívne rekurzívna
A
str. 96
7
Q
Dokáž, že konšt. funkcia Kj(x)=j je primitívne rekurzívna
A
str. 96
8
Q
Aké sú napríklad primitívne rekurzívne funkcie?
A
str. 96, veta 10.4
9
Q
Dokáž, že x+y je primitiívne rekurzívna
A
str. 96
10
Q
Dokáž, že x*y je primitiívne rekurzívna
A
str. 96
11
Q
Dokáž, že y^x je primitiívne rekurzívna
A
str. 96
12
Q
Dokáž, že sg(x) je primitiívne rekurzívna
A
str. 96
13
Q
Dokáž, že not sg(x) je primitiívne rekurzívna
A
str. 96
14
Q
Dokáž, že y-x je primitiívne rekurzívna
A
str. 96
15
Q
Dokáž, že |x-y| je primitiívne rekurzívna
A
str. 96
