: .
. . , , . .
, - . : , , , , , , , .
:
1) (, );
2) ( );
3) , . . , (. . );
4) ( ).
. , , . . , .
, , , .
.
.
.
, .
, () , .
.
, . , :
, .
1. , , .. , .
, .
2. , , .
3. , .
, , , .
.
, . , .
1. , , .
|
|
2. , , . , .
.
.
1. . . ( ).
.
- , .. ( ) . .. . : p→p. . , . . .. = P .- , S .
. .
. , . , . , .. . .
2. .
, ().
" "
" "
- , . . (p p), p- , . p. . . . ( . ., .) .. .. , , , (, . ..).
3. . : , .
, .
. - ( . ., .) . , . . : a b, b. ( . = . . ).
4. . , .
, .
. ""?
- ., . . a→b.
. ., , , (., . .), . . . . . : , . ., . . . . , . .
. . . .