IB107
(2 body)
domácí úloha č. 2
Nechť N = [Vaše U ČO] mod 3
Dokažte, že existuje totálně vyčíslitelná funkce g splňující podmínky podle vašeho N. Uveďte oba důkazy (s použitím i bez použití věty o parametrizaci):
Pokud N = 0:
Pokud N = 1:
Pokud N
(i) (
<py3\x, y, z) jestliže z = 7y - 1;
ipy2\x,x) jestliže z = 7y;
^3)(y, y, y) jestliže z = 7y + 1;
2Z jinak
(2) ŕ
^2015 (í/.'2)
,(3)
jestliže x + z je dělitelné 5; jestliže x + z je dělitelné 7;
Vy {x,y,z) Jinak
Vylijiy) Jinak
jestliže 5y = y2 + 6; jestliže 5x + 1 = y;
Pokud budete psát nějaké while programy, můžete používat standardní makra: aritmetické operace (sčítání, odčítání, násobení, dělení, modulo, umocňování, atd.), if-then-else, jakékoli běžné testy v podmínkách i cyklech, <3? apod.
Odevzdání: Do odevzdávárny v ISu, ve formátu PDF. V hlavičce uveďte vaše jméno a UCO. Deadline: neděle 8. 11.