.


:




:

































 

 

 

 





 

? »- . . , , , , , , , . . , , . , : - - »- . - , - .

. »- : , ; : , . - , - . : AR→VR VR→AR. , . , , . , , , . , , . , , . , .

- , , , , , ? , , , , . - , .

: . , 2- 1- 2- , , , .

, . .

, :

1) ( ) , , . , , . , , . , . . [98]. , 1- , , , , , - ( ), : (V1,V2,)[R1,R2,] , , , . (, ), , , . , , , , , , .

2) - ( ): V={T, N, F}; R={M, S, A, T, N, F}; (V1=T)[R1=F] (T)[F] , , (V2=N)[R2=A] (N)[A])[99]. , 1- . 2- () , , , -, . . , . , , . 2- -: , , [100]. , , - . , - , .

( ) ( ) (- -), (- -) ( , , -, 8- , 9- ). , .

. , , , . , , . , .

3) - ( -) , : (T)[F]; (N)[A]; (T)[F]. , - . , , . . .

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

4) - ( ) : (T)[F] (T)r[F]. . . . : . : . 4- 4- 4- . , 1- , , . , , [101]. 4- : , . , . , 4- , .

5) ( 5- ), ( ) , : T((a1,a2,a3...)). , , . 5- , , , , ( ) , . 6- .

6) ( ) , (a1,a3) (a2,a3) (a1,a2,a3...), 5- : T(a1,a2,a3...)rF[(a1,a3);(a2,a3)]. , , . , () . , . , (6- ) (6- ), . . , . , , , .. , . .

7) ( 5- ) ( 6- ) () , -, ( ) , , ( ) , O (a'2,a'3): T(a1,a2,a3...)rF[(a1,a3);(a2,a3)] T(a1,a2,a3...)rF[(O(a'2,a'3)].

. , [102]. 7- 9- .

, , 6- . . , , , , , . . , 7- , , - . , 5- , 7- . .

8) - ( ). (a1,a2,a3...), (a2,a3): T(a1,a2,a3...)rF[O(a'2,a'3)]iT(a2,a3). . - - -. : - , - . , -, - .

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

: -, , , -. , - , - (--: ) --. - , , , ( )? , . [103] , , , . , , , , . .

, , , »-, , --, . , . , . . , , -, . .

, , , . , , , . »-, . , . ( ) , . , , . , , 8- .

- - , -- , - - .

9) (- ) , O' (a2,a3): T(a1,a2,a3...)rF[O(a'2,a'3)]iT(O'(a2,a3)). , . . -, , : , , .

10) : ( ) , T(a1,a2,a3...)rF[O(a'1,a'2,a'3...)]iT(O'(a1,a2,a3...)). , - () ( , ) [104]. , FC(a'1,a'2,a'3...). : T(a1,a2,a3...)rFC[O(a'1,a'2,a'3...)]iT(O'(a1,a2,a3...)), , , . , , , . , , , ( , ) .

, -, , , 7- . , , , . , , .

10- - . 8- -, - ( - - ). . 8- , 7- . 9- . 10- - . , : ( ) ( ).

: 1- ; 2- ; 3- ; 4- , ; 5 ; 6- ; 7- ; 8- ; 9- ; 10- . , .

. 1) : () () -; 2) - - : ; 3) - ; 4) , - , , : , , ; 5) , , ; 6) , ; 7) (), () () () ; 8) , ; 9) (), () () () () ; 10) - (-) - ( ).

, . - . , , , ( ) ( ) , - , [105].

, - .

. . , , , , , , , .

- , , , - , . - . , , , .

 





:


: 2016-10-06; !; : 427 |


:

:

- , .
==> ...

1744 - | 1557 -


© 2015-2024 lektsii.org - -

: 0.025 .