.


:




:

































 

 

 

 





7

 

. , , . , .

.

- , . , ( ). , . . .

[1], ( ) - . , : .

, - ( ). .

, - . .

. , , . .

. , - , . , , , - , .

(- -), , . , , - . , , .

. . , , (, -, .) .

. , ( )[2] , . , . , , , [3].

, . . , , .

, , : , . , . .

, , , : , . , . , . ( ) . ; (, , ).

, , , . : 1) ; 2) (, ); 3) ( , ); 4) .

 

 

.

, . , , , . : (a1 ∧ a2 ∧... an) → T. () () . , , . 1 . 297 , . : (1) ; (2) . - , ( , ...), .

(): . 1 . 297 .

:

(1) , , (), . 1 . 297 ().

(2) , ().

:
→ ,
 
 


, . : ( ) ( ).

() (). , , (). , . . , (): , . (), ( (1234)):

(1) , .

(2) .

(3) , , ..

(4) .

, , , . (). - .

:  
  (12 34); (1 2 34)
 
 

 


 

(), , (). - - .

 

 

, : , , .

( ) . (1, 2, 3), . () . , .

:

(): .

: :

(1) ;

(2) ();

(3) .

() .

(1, 2, 3) (1 ; 2 ; 3 ).

( , , ) ().

 

- - . , (). (, ), . , , . , ( ) , ( , ).

- , .. , , , .

, , .

 

 

, . : , , .

. .

( ) . . ( , ...) , , . ( ). , , N (). , ( (12)):

(1) .

(2) - .

. (, N ). - .

 

. , .

. . (). , (). , , , .

:

(): .

(): .

:

(1) .

(2) .

.

(12)

.

,

¯

- - .

. , . , : , , . . , . , . .

, ( ). , , . , , , , .

, . . , , .

 





:


: 2017-04-14; !; : 2436 |


:

:

.
==> ...

1739 - | 1569 -


© 2015-2024 lektsii.org - -

: 0.026 .