. .
S, , , R, , .. S={, R}={,,}.
, . , .
.
1) S, .
, , .
, .
S , , , R, .
2) - .
, ; , , R, S.
3) , S. S.
, , .. :
3) - ;
3) - .
1. ().
: ,
q1 q2 .
:
.
1 2
. 2.16. .
4) S , () . .
|
|
2. , .
. 2.17. .
: , ,
.
: -
.
, . , S , . .
, (,
) .
, .
, 3 -. S, .
, 3 ; .
, , . , (, , ; . 6).
, .. , , - . , , .
, .
, , . , , () " ". (. 2.18.)
. 2.18. .
. 2.18. , : , , . () . t0 . , . . "". "" ( ) (.. ). .
|
|
, -, , -, (, , , ..) , . , , , - t3 ( , , ).
. .. , , , ( ) .
:
1) - , - .
2) - .
= + - + , (4)
- ,
- - ,
- .
3) - .
= t2- t0, (5)
t2 - ,
t0 - .
= + -, (6)
- , = t1 - t0,
- - , = t2 - t1.
. - , , , . , . . , , , = {, , , }.
. (, ) . " ", .. : " , , " - "" , .
.
. , ( ): - , - , - , - . , - . , . . , , .
, - , - .