Teoria algoritmov, Formálne jazyky, Automaty, SAT, PCP, Turingove stroje

Vie mi niekto poradiť alebo pomôcť čo i len s jednou otázkou?1. Napíšte úplné primitívne rekurzívne odvovodnenie funkcie y = 3x + 22. Ktoré číslo má Godelov kód (0,2,0,0,3)3. Je funkcia z = x² primitívne rekurzívna? Svoje tvrdenie zdôvodnite.4. Určte hodnoty primitívnej rekurzívnej funkcie f(x,y) pre hodnoty (x,y), 0<= x + y <= 3, definovanej nasledovne: f(x,y)=ADD(ADD(SQ(x),SQ(y)), MUL(x,y)), kde ADD a MUL sú funkcie sčitovania a násobenia a funkcia SQ je definovaná primitívnou rekurziou: SQ(0)=C(horny index 1, dolny 0)=0SQ(k+1)=ADD(s(ADD(k,k)),SQ(k))

Dvojka by měla být 11 979