, . .
3..
, , , , ;
. . , .
: , ;
( );
1. , ;
;
(); ; ,
.
1. , , , , ;
4.
.
. , .. , .
.
, . , .. , .
, . D.
, , :
D = P? Q,
;
Q .
. , , . , (DD). , .
, , , .. , , . . , , .
|
|
:
1) ;
2) ;
3) ( ), .
, , , . , . , , .
.
, , , . , , .
, ( ) ( ).
. , .
.
1. , , . , , , .
, , , , , . , , .
2. . , . : , .
3. . . . , , , . , , , . , , .. , .
4. ( ). (-), . ( , ). , . . , , . .
|
|
. . , , , , .
. . , .
5. . , , , , .
6. . . .
, , , .