. , (, ), (, ) . . . -, , . , , , .
[21, 22] : (. 2.1).
. 2.1.
() . .
. , (, ), (, ) . , () , , ..
16263-70 , , , . , , . , , .
. . , , . - , .. . , .
, , . , .
, . . 2.2.
|
|
:
- , .. - , . , , , , . . , . , ;
* , .. , , . 1C , , , . . ;
. , .
-, , , , , , -, , .
( ), ( ) . , : , , , , , . . . 3.
, .. , .
, . , . . .. [13] X , . .
1. , X . :
) ( ): () (), () ≉();
) ( ): () (), () ();
) ( ): () () () (), () ().
2. , X . :
) : () > (), () <();
) ( ): () > () () > (), () > ().
3. , . :
|
|
) ( ): () = () () > 0, () + () > ();
) ( ): () + () = = () + ();
) : () + () = ( + );
) : [() + ()] + () = () + [() + ()]. , , : , ; , ; , , .