, - .
, .
:
1. ,
2. ,
. , -
. , -
, - .
, , .
, . . .
- , .
:
, .. , ;
, .. ;
, ;
- ;
(.. ) - ;
(, - );
, .
, , . - , , , , .
, . : , , - . , . , .
|
|
, .. , , . , , , ( ) , .
- . . , , , , , . . , , , . , , : , ? , ? , , , ? - , , .
- , , , . . , . , . , . , , , , .
- , , , .
- , , (, , , ..), , , , .. , .
- , . , , . , . , . : + () , - () - , 0 () - , , .. . , , , . (?) (. 1).
|
|
, , .. , () .
, , .
, . . , :
) , , ?
) , , ?
, , , . :
+3 - ;
+2 - ;
+1 - ;
- ;
- ,
- .
, ( ) .
:
1. , ( 1)
2.
. ,
. -
, .
, . () , , .
.
x, F (x, x) x. , x Q. , Q0Ì Q. , Q0. x, .
|
|
-, .
, x . .
, , .
.
x, , F(x).
, , .
, c2 (-) . .
x , r .
, , , , ,, r- . ,.
, , ? ( ):
.
, , i, .
.
, c2 n¥ , r-1 ,
r.
, k F(x), , l = r - k- 1 .
.
. a;
. . 4 r ( k, ) ? () ,
,
.
. ni, i ?2;
. > (>), F(x) .
, , , , .
, , , . .
- , , .
, - , .
, , , , .