"

' -4
:
:
0
Z : N N :
S:N N
:
S ( x) = x + 1
:

in : N n N , n 1, 1 i n
in ( x1 ,..., xn ) = xi
g1 , g 2 ,..., g k : N n N
h: Nk N

f : Nn N
)) f ( x1 ,..., xn ) = h( g1 ( x1 ,..., xn ),..., g k ( x1 ,..., xn

g : Nn N
h : N n+2 N
f : N n +1 N

)f ( x,0) = g ( x
)) f ( x, i + 1) = h( x, i, f ( x, i

.1 :
f ( x1 , x2 , x3 , x4 ) = 1 + x3 x4 + x1 x2

))) f ( x1 , x2 , x3 , x4 ) = S ( Sum( power ( 34 , 44 ), mul (14 , 24

.2

f (b, a ) = log b a
f (b,1) = 0
) f (b, a
(a + 1)div(b f ( a ,b ) ) b
f (b, a + 1) =
) f ( a ,b
)=b
f (b, a ) + 1 (a + 1)div(b
)) f (b, a + 1) = g (b, a, f (b, a
)) g ( x, y, z ) = sum( 33 , eq (tqout ( S ( 32 ), power (13 , 33 )), 13
.3

 "

1 i (mod 2) = 0
zugi (i ) =
o.w.
0
n

)f (n) = zugi (n
i =0

f (0) = 0
))f (n + 1) = sum( f (n), zugi (n + 1
))f (n + 1) = g (n, f (n
)) g ( x, y ) = sum( 22 , zugi ( s (12
))) zugi (i ) = sign(trem(2, 11 (i

.4 :
1 y * y = x
is _ root ( x, y ) =
o.w.
0
) is _ root ( x, y ) = eq (mul ( 22 , 22 ), 12
.5 ). f ( x
)i f ( x, n) = f ( f (... f ( x))..) = f n ( x
144244
3
n _ times

i f ( x, 0) = x = 22
))i f ( x, n + 1) = f (i f ( x, n)) = g ( x, n, i f ( x, n
))g (a, b, c) = f ( 33 (a, b, c

.6 :
1 x _ is _ prime
prime( x) =
o.w.
0
)])prime( x) = ( x > 1) (z < x [( z > 1) ( z | x
.7 :
) lcm( x, y ,x, y
x - .y - ) lcm( x, y .
))lcm( x, y ) = min z xy ((trem( z , x) = 0) (trem( z , y ) = 0

sqrt ( x) = x
.8
2
)sqrt ( x) = min z < x +1 (( z + 1) > x
.9 :
} R : N n +1 {0,1.
g : N n +1 N
) g ( x, y ) = max z < y R( x, z
g z R ,y
.y R " g - g".

 "

: g .

g ( x, 0) = 0
) y + 1 R ( x, y + 1
g ( x, y + 1) =
o.w.
) g ( x, y
)) g ( x, y + 1) = h( x, y, g ( x, y
))))) h( x, y, z ) = sum(mul ( R(13 , S ( 32 )), S ( 32 )), mul ( 33 , sign(R(13 , S ( 32